about assignment

Giuseppe Castagna Giuseppe.Castagna at ens.fr
Sun Nov 30 12:24:46 CET 2003

I was wondering ...

   sequencing is actually encoded as follows

e1 ; e2   ===  let [] = e1 in e2

This means that e1 must be an empty string. Wouldn't it be better to encode it as 

e1 ; e2   ===  let _ = e1 in e2

That is let e1 have any type and maybe raise a warning when e1 is not


More information about the Cduce-devel mailing list