Haskell

Haskellは、副作用を厳密に管理して同じ入力に対して常に同じ出力を返す参照透過性を保持する、純粋関数型言語である。コンパイル時に厳密な型チェックを行う強静的型付けを採用しており、実行時エラーの発生を大幅に抑制する。さらに、明示的に型を記述しなくてもコンパイラがコードから自動的に型を特定する高度な型推論や、計算の結果が必要になるまで実際の評価を先送りにする遅延評価といったアプローチを備えている。

Haskellの歴史は、1980年代の関数型プログラミング言語の乱立と、それに対する標準化の機運から始まる。

標準化への始動

1980年代当時、数学的な純粋性と遅延評価を備えた関数型言語が数多く開発されていたが、研究者ごとに異なる言語が乱立する状況にあった。この分散を解消し、共通の標準研究プラットフォームを構築するため、1987年にポートランドで開催された関数型プログラミング言語に関するカンファレンスにて委員会が発足した。

共同開発を支えた中心人物

Haskellは特定の個人ではなく、世界各国の関数型プログラミング研究者からなる「委員会」が合議制で開発した言語である。その中で主導的な役割を果たしたのが、標準コンパイラである GHC のリードデザイナーとして実用化に最も貢献したサイモン・ペイトン・ジョーンズ（Simon Peyton Jones）や、型クラスの提案やモナドの応用で知られるフィリップ・ワドラー（Philip Wadler）である。また、初期仕様の策定を組織として牽引したポール・ハダック（Paul Hudak）や、理論的支柱となったジョン・ヒューズ（John Hughes）らも、設計の中心人物として言語の基盤を築き上げた。

命名と初期仕様の策定

言語名は、数理論理学の先駆者であり、コンビネータ論理の基礎を築いた数学者ハスケル・カリー（Haskell Curry）にちなんで命名された。委員会による議論を経て、1990年に最初の公式仕様である「Haskell 1.0」が定義され、純粋関数型言語としての基礎が確立された。

モナドの導入と進化

初期のHaskellは、純粋性を保ちながら入出力（I/O）などの副作用をどのように扱うかという課題に直面していた。1990年代半ば、フィリップ・ワドラーらによってモナドという数学的概念がプログラミングに応用され、これにより安全でクリーンな入出力制御が可能となり、実用性が飛躍的に向上した。

標準規格の確立

その後、1998年には広く使われる標準仕様となる Haskell 98 が策定され、言語の安定性が確保された。さらに2010年には、現代的なプログラミングの需要やライブラリの進化を反映した Haskell 2010 が公開され、これが長期にわたる開発環境の強固な基盤となった。公式な言語仕様（Report）の更新が停滞した時期もあったが、実質的な標準コンパイラである GHC（Glasgow Haskell Compiler）を中心として、2020年代以降は GHC2021 や GHC2024 といった年号を冠する言語エディション（Language Editions）の仕組みが導入された。これにより、広く普及し安定した拡張機能を段階的に統合する、定期的かつ継続的な標準化プロセスが確立されている。

インストール

Linux環境（特にJupyter Notebook環境）で、Haskellの開発環境をインストールする手順を示す。

!apt-get install -y haskell-platform 2>&1 | tail -5

!: Jupyter Notebook上で、Pythonコードではなくシェルコマンド（Linuxコマンド）を実行するための記号。

apt-get install -y haskell-platform: UbuntuなどのLinuxシステムで、Haskellの開発に必要なツール（コンパイラやパッケージ管理ツールなど）がすべて揃ったパッケージである Haskell Platform を自動でインストールする（-y は確認画面で自動的に「はい」と答えるオプション）。

2>&1: エラーメッセージ（標準エラー出力）を通常のログメッセージ（標準出力）と同じ場所にまとめる。

| tail -5: インストール中の膨大なログの、最後の5行だけを画面に表示します。画面がログで埋まるのを防ぐための工夫。

!ghc --version

ghc: Haskellの標準的なコンパイラ GHC（Glasgow Haskell Compiler）を呼び出すコマンド。

--version: インストールされたGHCのバージョン（例: The Glasgow Haskell Compiler, version 8.8.4 など）を表示し、プログラムが正常に使える状態になったかを確認。

%%writefile hello.hs
main :: IO ()
main = putStrLn "Hello, Haskell!"

!ghc hello.hs -o hello && ./hello

%%writefile: Jupyter Notebookのマジックコマンドと呼ばれる特殊な機能。セルの2行目以降に書かれたテキストを、指定したファイル名で保存する。

hello.hs: 作成するファイル名（.hs はHaskellソースファイルの標準的な拡張子）。

!ghc hello.hs -o hello && ./hello: GHCコンパイラを使い、先ほど保存した hello.hs を機械語のプログラムに変換。

-o hello: 出力オプション。作成される実行ファイルの名前を「hello」に指定しています（指定しない場合、自動的に a.out や main といった名前になる）。

./hello: 現在のディレクトリにある実行ファイル hello を起動。これにより、画面にプログラムの結果が出力される。

サンプル

%%writefile demo.hs
-- 階乗（再帰）
factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n * factorial (n - 1)

-- リストの合計
mySum :: [Int] -> Int
mySum []     = 0
mySum (x:xs) = x + mySum xs

main :: IO ()
main = do
  putStrLn "=== 階乗 ==="
  print (map factorial [0..10])
  putStrLn "=== リスト合計 ==="
  print (mySum [1..100])

Writing demo.hs

!ghc demo.hs -o demo && ./demo

Writing demo.hs

[1 of 1] Compiling Main             ( demo.hs, demo.o )
Linking demo ...
=== 階乗 ===
[1,1,2,6,24,120,720,5040,40320,362880,3628800]
=== リスト合計 ===
5050

Mathematics is the language with which God has written the universe.