3 ms·
Sure, I am fine with that (else I would have proposed the abysmal `f(Y(f))`); but `f Y f` suffers from the ambiguity of `f (Y f)` versus `(f Y) f`, and, at leas
by JadeNB 7y ago
Sure, I am fine with that (else I would have proposed the abysmal `f(Y(f))`); but `f Y f` suffers from the ambiguity of `f (Y f)` versus `(f Y) f`, and, at least from my familiarity with Haskell, I automatically parse it as the latter (which I am guessing was not what proc0 intended).
- reificator 7y agoI just thought it would be funny to quote the article there, I'm not too hung up on which representation is used.