Haskell

Haskell（読み：はすける）とは、プログラミング言語のひとつで、非正格な評価を特徴とする純粋関数型プログラミング言語である。

概要

Haskellの名称は論理学者であるハスケル・カリーに由来する。

Haskellは以下のような特徴的な機能を持つ。

• 高階関数
• 静的型付けかつ多相型付け
• 定義可能な演算子
• 例外処理といった多くの言語で採用されている現代的な機能
• パターンマッチングやカリー化、リスト内包表記、ガード

また、遅延評価や再帰的な関数、代数的データ型もサポートしている。 さらに独自の概念として圏論のアイデアを利用し、参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。

このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。

関連項目

• Glasgow Haskell Compiler