| ▲ | jb1991 7 hours ago | |
This site is actually named after one of the most popular and widely used Combinators in lisp. | ||
| ▲ | roadside_picnic 6 hours ago | parent | next [-] | |
> in lisp. Technically you cannot implement a proper Y-combinator in Lisp (well, I'm sure in Common Lisp and Racket there is some way) because the classic Y-combinator relies on lazy, not strict, evaluation. Most of the "Y-combinators" people have implemented in Lisp/Scheme/JavaScript/etc are more accurately described as the "applicative order Y-combinator" (also Z-combinator) Funnily enough, you also cannot* implement the Y-combinator in Haskell (probably the most popular language with lazy evaluation) because the type system will not be happy with you (the Y-combinator, by it's nature, is untyped). | ||
| ▲ | cryptonector 6 hours ago | parent | prev [-] | |
Specifically the Y combinator enables recursion in a language that otherwise does not support recursion but does support closures. | ||