[bitc-dev] Syntax Poll: Polymorphic Types

[Sandro Magi]

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