No ambiguity I can see. I was considering postfix mainly for
readability, but the readability only seems to be better in the
special case, so it looks like it's not a good idea.

On Thu, Mar 5, 2009 at 5:26 PM, Sandro Magi <[email protected]> wrote:
> 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
>
>
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to