橋本
Hashimoto
麦
Baku
橋本
Hashimoto
麦
Baku
>>=
Works
??
About
(λ)
Tools
§.§
Writings
EN
JA
Lambda calculus
(Scratchpad)
This page is a personal
scratchpad
.
ラムダ計算
ビジュアルプログラミングと関数型
との関連性
Related ->
Y Combinatorを理解せずしてY Combinatorを語るな
Y = λf.(λx.f (x x)) (λx.f (x x)) 勝手に思った Paul Graham Lambda calculus における不動点コンビネーター 再帰のないところに再帰を作り出す けどこれ、 baku89.icon もちゃんと理解できてないので、僕もY Combinatorは語れ