9 Nov
2006
9 Nov
'06
6:25 p.m.
Jón Fairbairn wrote:
Syntax 1, based on Phil Wadler's improvement of my old proposal. The precedence relation is a preorder.[...]
infix {ops_1; ops_2; ...; ops_n}
The alternative syntax is exemplified thus:
infix L + - (L * / (R ^))
[...]
I think both ways (I like the second one more) are a lot better than precedence numbers, whether they be fractional or integral. Let us add compiler/interpreter support for querying known precedence/fixity relations and it's (almost) perfect. Cheers Ben