　値が実際に必要になるまで計算を実行しない仕組みが「遅延評価」だ。Haskellの遅延評価では、式の評価に必要な関数の呼び出しや値の評価をできる限り先延ばしにする。つまりHaskellプログラムは通常、結果を表示する必要性が生じるまで、操作の実行や型を推測しない。この仕組みを活用して、開発者は「if」文などの条件文において条件分岐や評価を遅延させ、複雑な制御構造を記述できる。

特徴2．不変性

　変数に一度値を割り当てると、その後変更することができない性質を「不変性」と呼ぶ。Haskellは不変性を特徴としており、標準でデータ構造は不変だ。開発者は不変データと「純粋関数」（同じ入力に対して常に同じ出力を返し、範囲外に影響を与えない関数）を組み合わせることで、特定の操作を実行するための処理の流れを記述できる。

　関数を引数として受け取ったり返数として返したりする「高階関数」を使うことで、Haskellは複雑な処理をシンプルに表現でき、ソースコードの抽象化（ソースコードの複雑さを排除して再利用性を高めること）が容易になる。Haskellは、目的の結果のみを指定し、具体的な処理や手順は明示しない「宣言型プログラミング」に基づく。この特性により、開発者は出力のデータ型や構造、振る舞いを記述することで、求めたい結果を実現可能だ。

特徴3．厳密な型

　Haskellは型の整合性に厳密さを求め、シンプルで洗練された構文を持つ。そのため、ソースコードが正しくコンパイル（実行可能ファイルに変換）された場合、開発者はある程度確実にエラーなしでプログラムを実行できる。Haskellの主要なコンパイラ「GHC」（Glasgow Haskell Compiler）は、効率的なガベージコレクション（不要なデータを削除して空き容量を増やす仕組み）を提供する。基本的な操作やデータ型、抽象化を利用できる軽量な並行処理ライブラリも、プログラム実行時の処理速度向上に役立つ。

　ただしHaskellでのプログラミングには、プログラムを関数の組み合わせとして捉える関数的思考や、数学に対する理解が重要だ。そのため初心者の開発者や、複雑な計算プログラミング（プログラムを使用して数値的な計算や数学的な処理を実行するプログラミング）の経験がない人にとっては、学ぶのが難しい場合がある。こうした開発者は、一般に公開されている、Haskellの実装用ソースコードの詳細部分を参照することで、学習に役立てることが可能だ。

特徴4．モナド

　Haskellは、複雑な計算の流れや規則を管理する仕組みである「モナド」と、既存のモナドに新しい機能を追加する仕組みである「モナド変換子」を重視している。開発者はモナドとモナド変換子を用いて、一連の手順として計算を記述したり定義したりすることができる。

　次回は、PureScriptの概要を紹介する。

TechTarget発　エンジニア虎の巻

米国TechTargetの豊富な記事の中から、開発のノウハウや技術知識など、ITエンジニアの問題解決に役立つ情報を厳選してお届けします。

TechTargetジャパントップシステム開発