Zコンビネータ - mrsekut-p

Zコンビネータ

不動点コンビネータである

$ λf. (λx. f (λy. x x y)) (λx. f (λy. x x y))

https://ja.wikipedia.org/wiki/無名再帰

https://medium.com/swlh/y-and-z-combinators-in-javascript-lambda-calculus-with-real-code-31f25be934ec

https://ja.wikipedia.org/wiki/不動点コンビネータ#Zコンビネータ

https://tnomura9.exblog.jp/26145667/

https://obelisk.hatenablog.com/entry/2016/11/09/011255

https://qiita.com/HMMNRST/items/a82961953247154852e8

https://www.k5trismegistus.me/entry/Y/Zコンビネーターについて理解するまで

/miyamonz/Zコンビネータ