Laboratorium 9: kontrola typów

Rozszerzamy język z poprzedniego laboratorium o typ zmiennoprzecinkowy i kontrole typów, na przykład

int a,b;
double c;
a = 1;
b = 2*a;
{
  double a ;
  a = 3.14159;
  c = a+double(b);
}
int(c-a);