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

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