27 Jun
2013
27 Jun
'13
2:35 p.m.
Somebody claiming to be Simon Peyton-Jones wrote:
It is kind of weird that f . g means \x. f (g x) but f.g means g f
Anything that makes f.g mean something different from f . g just makes the code soup. F . g being different from F.g is already *very* unfortunate. The capital-letter makes it normally not too crazy, but sometimes you want to compose data constructors, and then it's a big issue. Making this issue worse in order to solve something else does not seem like a good trade-off. Why not use a different character? There are lots of them :) -- Stephen Paul Weber, @singpolyma See http://singpolyma.net for how I prefer to be contacted edition right joseph