Jonathan S. Shapiro wrote: > Great examples. In BitC', the OCamlish possibility I am considering > would rewrite these as: > > char string either list > > or > > list (either char string) >
The last seems fine. Type application mirrors function application. Is there any ambiguity arising because of this? I'm thinking here of SML which automatically lifts type constructors to functions, ie. let a : int option list = map SOME [ 1; 2; 3;] Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
