ワニ計算

が流行っているらしい(Wadlerのせい?)。

http://worrydream.com/AlligatorEggs/

面白い…のですが、ちょっと読んだだけではルールがよくわからなくて(弱)、λ計算に直して考えたらわかった。考えた人は電気系のUI技術者さん(?)らしい。

http://worrydream.com/cv/

I am a self-taught software engineer.