λ計算

λ式とクロージャ

クロージャって何だろう? lambda式とどう違うんだろう?

λ計算おもしろい

Yコンビネータについてさっぱり理解できないまま終わってたけど、数学的な面から考えると分かりやすいような気がした。 F.Ko-Jiの「一秒後は未来」-Yコンビネータについて調べてみた λ式ではYコンビネータは λf.(λx.f(xx))(λx.f(xx)) って表現されるけど、こ…