汎用の非正格純粋関数型言語

名前は、ラムダ算法のHaskell B. Curryという論理学者に由来する。

因みに、"カリー化"もこの方から来ているそうな。

主な特徴は

など。らしい。

2004年のICFP上位を総なめ(参考)したすごい言語。

関数プログラミング