2005/04/27

Haskell という不思議な名前は Curry Haskell さんにちなんだものだということを今さっき知った。Curry だって? Curry-Howard の同型定理の Curry?

Curry-Howard
つまり、ここ数年間、同じところを回ってたってわけか。楕円軌道だったけど。

No comments :