Haskell

/ˈhæskəl/ ハスケル

1. Haskellは、純粋関数型プログラミングパラダイムに基づいた標準化された汎用プログラミング言語です。

Haskellは、副作用のない「純粋な関数」としてプログラムを構築することを重視するプログラミング言語です。数学的な厳密さと高い信頼性が特徴で、型理論の研究などにも用いられます。遅延評価という特徴を持ち、実際に値が必要になるまで計算を行わないため、効率的なコードの記述が可能です。
Haskell is renowned for its strong type system. (ハスケルはその強力な型システムで有名です。)
関連