[Haskell-cafe] Desugaring of infix operators is (always?) the
wrong way round
lemming at henning-thielemann.de
Wed Sep 26 03:28:27 EDT 2007
On Tue, 25 Sep 2007, Dan Piponi wrote:
>> It's not so clear to me what the syntax for types should be in a postfix language.
> Postfix, of course! So you'd write
> data a Tree = Leaf | a a Tree
> Confusingly, ocaml does something like this, with postfix notation for
> types and prefix notation for function application.
I have seen the same mixing in Isabelle proof assistant.
More information about the Haskell-Cafe