インスタントマヨネーズのブログ: 不動点コンビネータの作り方(λ抽象)
http://l1048576.blogspot.com/2013/09/blog-post.html
なつかしいなぁ
l1048576.blogspot.com不動点コンビネータの作り方(λ抽象)「λ抽象」とわざわざ付けたのは、SKIコンビネータとかでも不動点コンビネータは作れるよなあ、などとしょうがないことを考えただけであって、 λ抽象の方がだいぶ簡単に作れるとはいえどちらも本質的には同じものであるから、とりあえず簡単な方だけ紹介しようという目論見である。 SKIコン...