10 ms·
It's true that the original non-recursive definition of Y doesn't typecheck in Haskell: Prelude> \f->(\x->f(x x))(\x->f(x x)) <interactive>:5:14: Occu
by user2994cb 8y ago
It's true that the original non-recursive definition of Y doesn't typecheck in Haskell:
Prelude> \f->(\x->f(x x))(\x->f(x x))
<interactive>:5:14:
Occurs check: cannot construct the infinite type: r0 ~ r0 -> t
...