父親も母親も理系なのに（情報と生物なので微妙だが）、うちの子供は体育会系のようで、８ヶ月ぐらいから走り回ったり、ジャングルジムによじ登って飛び降りたり、仰向けになって頭から滑り台を降りたり、といった芸を見せる。あと、「パパ」を覚えたようで…

の話がいつの間にかLtUで流行っていたらしい。http://lambda-the-ultimate.org/node/2243 http://lambda-the-ultimate.org/node/552要するに、一般に「型τを与えられてから、τ型の値を受け取る／返す」ような関数をMLでどう実装するか、という話。(Cf. http:…