Precedence for infix operators about hackett HOT 4 OPEN

I would like to avoid assigning meaning to the names of identifiers. Lisp identifiers are traditionally much more lax about which characters you can use in an identifier, so you can name an identifier do-it! if you want, or even a!b@c#d$. This also avoids needing a syntax for converting prefix operators to infix ones and vice versa, since the (<>) and `elem` syntaxes wouldn’t work so well in a Lisp.

from hackett.

Infix operators are planned, in some way or another. The exact details are not squared away yet. However, you will need to use { curly braces } to enter “infix mode”, since there won’t be a syntactic distinction between infix operators and prefix operators like Haskell has (based on characters in identifiers). You will be able to assign associativity and precedence, though.

from hackett.

Could you elaborate why there will be no distinction between prefix and infix?

from hackett.

Associativity is now implemented in the new implementation in e7767ad, but precedence is still unimplemented. You can now specify associativity when writing a definition by writing #:fixity left or #:fixity right. left is the default.

This means type signatures can get a bit cleaner, since -> is now properly right-associative. You can now write {Integer -> Integer -> Integer}, and it will parse the way you would expect.

from hackett.