19 Feb
2015
19 Feb
'15
12:02 p.m.
On Thu, Feb 19, 2015 at 03:51:31PM +0100, Christopher Done wrote:
The idiom discussion brought back to mind a general problem (well, for me) in Haskell syntax which is there is no syntactic sugar for interspersing operators to many arguments.
The goal of reducing duplication like this is a worthy one. I don't like the idea of using what essentially amounts to a macro as it is not first class. However, if a first class way can be found to make such a thing type check (perhaps some cunning use of dependent types) then I will be all for it! Tom