ワニ計算
が流行っているらしい(Wadlerのせい?)。
http://worrydream.com/AlligatorEggs/
面白い…のですが、ちょっと読んだだけではルールがよくわからなくて(弱)、λ計算に直して考えたらわかった。考えた人は電気系のUI技術者さん(?)らしい。
I am a self-taught software engineer.
が流行っているらしい(Wadlerのせい?)。
http://worrydream.com/AlligatorEggs/
面白い…のですが、ちょっと読んだだけではルールがよくわからなくて(弱)、λ計算に直して考えたらわかった。考えた人は電気系のUI技術者さん(?)らしい。
I am a self-taught software engineer.