5 ms·
because f Y f.
by proc0 7y ago
because f Y f.
- JadeNB 7y agof (Y f), surely ….
- reificator 7y agoTo quote the article: > (I'm using a function notation without parentheses here, so factorial 3 is the same as what is usually written as factorial(3). Humor me.)
- JadeNB 7y agoSure, 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.