[Haskell-cafe] Desugaring of infix operators is (always?) the wrong way round

Henning Thielemann 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 mailing list