Haskell

Haskell
パラダイム	関数型言語
設計者	サイモン　ペイトン　ジョーンズ, Paul Hudak, Philip Wadler, 他
型付け	強い静的型付け
主な処理系	ghc、Hugs、NHC、JHC、Yhc
影響を受けた言語	Miranda
影響を与えた言語	Factor

Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー （Haskell B. Curry）に由来する。

概要

Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になる関数でも Haskell ではたいていは実装が容易になる。

Haskell は遅延関数言語として多くの研究が実施されている。あわせて Parallel Haskell と呼ばれるマサチューセッツ工科大学やグラスゴー大学によるものをはじめ、他にも Distributed Haskell や Eden といった分散バージョン、Eager Haskell と呼ばれる投機的実行バージョン、Haskell++ や O'Haskell、Mondrian といったオブジェクト指向バージョンも複数存在しているなど、いくつもの派生形が開発されてきている。

GUI開発向けサポートの新しい方法を提供する、Concurrent Clean と呼ばれる Haskell に似た言語もある。Haskell と Concurrent Clean の最大の違いは、モナドを代用する一意型の採用である。

Haskell は比較的小規模なユーザコミュニティを持つが、その力はいくつかのプロジェクトで十分に生かされてきた。Audrey Tang による Pugs は近くリリース予定である Perl6 のインタプリタとコンパイラの実装で、書くのにたったの数ヶ月しかかからなかったなど Haskell の有用性を証明するものである。Darcs はさまざまな革新的な機能を含むリビジョンコントロールシステムである。Linspire Linux は Haskell をシステムツール開発に選択した。

Haskellの急速な進化は今も継続しており、GHCは現在の事実上の標準の処理系であるといえる。

ICFP Programming Contestでは2001年、2004年、2005年に最優秀賞に選ばれている。

Cabal は Haskell 用のビルドおよびパッケージングシステムである。Cabal を利用して Haskell ライブラリのアーカイブである Hackage を参照して、新たなパッケージを簡単にインストールすることもできる。

歴史

1985年、遅延関数言語である Miranda が Research Software によって発表された。1987年にはこのような非正格な純粋関数型プログラミング言語が1ダース以上存在していたが、そのうち最も広く使われていた Miranda はパブリックドメインではなかった。オレゴン州ポートランドで開催された Functional Programming Languages and Computer Architecture (FPCA '87) において開かれた会議中に、遅延関数型言語のオープンな標準を作成するための委員会が発足されるべき、という強い合意が参加者のあいだで形成された。委員会の目的は、関数型言語のデザインにおける将来の研究のための基礎として役立つ共通のものへと、既存の関数型言語を統合することであった。

Haskell 1.0

最初の版の Haskell ("Haskell 1.0") は1990年に作成された。委員会の活動は一連の言語仕様を結果に残し、1997年後半にそのシリーズは、安定しており小さく可搬なバージョンの言語仕様と、学習用および将来の拡張の基礎としての基本ライブラリなどを定義したHaskell 98 に到達した。実験的な機能の付加や統合を通じて Haskell98 の拡張や派生物を作成することを、委員会ははっきりと歓迎した。

Haskell 98

1999年2月、 Haskell 98 言語標準は最初に "The Haskell 98 Report" として発表された。2003年1月、改定されたバージョンが "Haskell 98 Language and Libraries: The Revised Report" として発表された。GHC に代表されるように、Haskell は急速に発達しつづけている。

Haskell′

2006年前半、非公式に Haskell′ ("Haskell Prime") と呼ばれている Haskell 98 standard の後継の作成プロセスが開始された。このプロセスは Haskell 98 のマイナーバージョンアップを目的としている。

Haskell 2010

Haskell 2010 は他のプログラミング言語とのバインディングを可能にする Foreign Function Interface (FFI) を Haskell に追加し、いくつかの構文上の問題を修正する(正式な構文を変更する)。「n + k パターン」と呼ばれる構文を削除し、fak (n+1) = (n+1) * fak nというような形式の定義はもはや許されない。Haskell に Haskell 2010 のソースかどうかや、いくつかの必要な拡張の指定を可能にする言語プラグマ構文拡張(Language-Pragma-Syntax-Extension) を導入する。Haskell 2010 に導入された拡張の名前は、DoAndIfThenElse、HierarchicalModules(階層化ライブラリ)、EmptyDataDeclarations、FixityResolution、ForeignFunctionInterface、LineCommentSyntax、PatternGuards、RelaxedDependencyAnalysis、LanguagePragma、NoNPlusKPatterns である。

主な構文

ここでは以降の解説を読む上で必要な Haskell の文法規則を簡単に説明する。Haskell の構文は数学で用いられるものによく似せられていることに注意されたい。

型

Haskell の型名は先頭が大文字でなければならない。標準で存在する単純なデータ型としては、Bool (真偽値)型、Int (整数)型、Float (単精度浮動小数点数)型、Char (文字)型、String (文字列)型などが予め定義されている。任意の式の型を定義するには、式と型の間に :: 記号をおく。また、変数を定義する際に変数名を式に指定して書くことで、その変数の型を指定することができる。例えば、次は円周率およびネイピア数を定数として定義し、さらにその型も浮動小数点型として指定している。

pi :: Float
pi = 3.1415926535
 
e = 2.7182818284 :: Float    -- 式の中でその型を指定している

関数の型は、各引数の間を -> 記号で区切って表記する。関数は引数をひとつ適用するたびに、その型は -> で区切られたうちの一番左が消えた型となると考えればよい。例えば、ふたつの整数を引数にとりその最大公約数を返す関数 gcd の型は次のように定義される。

gcd :: Int -> Int -> Int    -- 関数名 :: 引数１の型 -> 引数２の型 -> 返り値の型

型変数を使い、型を抽象化することもできる。これは C++ のテンプレートや Java のジェネリクスが型を抽象化するのに相当する。例えば、a 型の値をとり、それをそのまま返す恒等関数 id を型の指定とともに定義すると以下のようになる。ここで任意の型を示す型名 a が定義に使われているが、このように先頭が小文字で始まっている型名は具体的な型名ではなく型変数である。この関数はあらゆる型の値を引数にとることができる。

id :: a -> a
id x = x

また、データ型も型変数を使うことができる。例えば、スタックやハッシュテーブルなどのデータ型は、その要素の型を型変数として定義する。ハッシュテーブルを実装するデータ型 Hashtable key value があり、キーに文字列 (String) 、値に整数(Int) を持つハッシュテーブル hashtable の型は次のようになる。

hashtable :: Hashtable String Int

そのほか、特殊な表記を持つ型としてリストとタプルがある。リストは Haskell で極めて頻繁に用いられるため、特別な構文が用意されている。リストは要素の型を角括弧で囲む。次は Char (文字)のリストを束縛する変数 text の定義である。

text :: [Char]
text = "Hello"

タプルは要素の型をカンマで区切り、括弧で囲む。次は Float (浮動小数点数) の値をもつ2次元座標のタプルが束縛される変数 point の定義である。

point :: (Float,Float)
point = (3, 7)

タプルは2以上ならいくつでも要素を持つことができる。1要素のタプルは優先順位の括弧と表記が衝突し、また用途がないので存在しない。要素数がゼロのタプルは特に「ユニット」(Unit) と呼ばれ、有効な値を持たないなどの時に使われる。

type キーワードを用いて、型に別名をつけることができる。次は [Char] に String という別名をつけている。

type String = [Char]
text :: String

関数と演算子

関数名は先頭が小文字でなければならず、記号を含むことはできない。演算子名は記号のみで構成されていなければならない。関数の定義ではC言語のような引数を囲む括弧や区切りのカンマは使われず、単に引数を空白文字で区切って表記する。次は先程示した恒等関数 id に、型の定義に加えて本体の定義もした例である。

id :: a -> a
id x = x    -- 関数名 仮引数１ 仮引数２ ... = 関数本体の式

関数の適用も同様で、単に関数に続いて空白文字で区切った引数を並べればよい。以下では上記の恒等関数 id を(ここでは使う必要はないが)適用して、別の変数を定義した例である。

hoge = id "piyo"    -- hoge == "piyo" となる。

引数がつねに２個であることや引数の間に演算子をおくことなどを除けば、演算子についても関数の定義や適用と同様である。標準で定義されている算術演算子を使って、BMIを計算する関数 bmi を定義してみる。

bmi :: Float -> Float -> Float
bmi weight height = weight / height ^ 2

この定義では Float (単精度浮動小数点数)を引数にとり Float で結果を返すが、この関数では Double (倍精度浮動小数点数)を引数に使うことはできない。どの浮動小数点数型でも扱えるような関数にするには、次のように型変数を使えばよい。

bmi :: Floating a => a -> a -> a
bmi weight height = weight / height ^ 2

このバージョンの関数 bmi では引数や返り値の型が a とされているが、これにさらに a は Floating であるとの制約をつけている。Floating は Float や Double を抽象化する型クラスであり / や ^ といった演算子を適用できるので、 bmi の定義においてこれらの演算子を使うことができている。また、整数などの値は引数に取れないし、返り値は引数に与えた型で戻ってくる。

関数と演算子は新たに定義し直さなくても相互に変換可能である。関数を演算子として使うには、関数を ` (バッククォート)で囲む。逆に、演算子を関数として使うには括弧で囲む。例えば、整数を除算する関数 div はよく演算子として使われる 。

aspectRatio = width `div` height

なお、関数適用の優先順位はすべての演算子の優先順位よりも高い。

特徴的な機能

ここではあまり他の言語では見られない Haskell 特有の機能を中心に解説する。ここでは説明していないが、現代的な実用言語では常識となっているガーベジコレクション、例外処理、モジュール、外部関数の呼び出し(Foreign Function Interface, FFI)、正規表現ライブラリなどの機能は、 Haskell にも当然存在している。

遅延評価

Haskellは遅延評価を基本的な評価戦略とする。ほとんどの言語では関数の呼び出しにおいて引数に与えられたすべての式を評価してから呼び出された関数に渡す先行評価を評価戦略とするが、これに対し Haskell ではあらゆる式はそれが必要になるまで評価されない。次の定数 answer は評価すると常に 42 を返すが、その定義には未定義の式を含む。

answer = const 42 (1 `div` 0)

ここで、const は常に第1引数を返す定数関数である。また、`div` は整数の除算を行う演算子であり、1 `div` 0 は 1 / 0 に相当し、この値は未定義(undefined)であり、この部分を評価すればエラーになる。正格評価をする言語でこのような式を評価しようとすると、ゼロ除算によるエラーになるであろう。しかし 上記の定数 answer を評価してもエラーにはならない。const は第1引数をつねに返すので第2引数を評価する必要はなく、第2引数に与えられた式 (1 `div` 0) は無視されるので評価されないからである。遅延評価がデフォルトで行われることにより、不要な計算は省かれ、参照透過性により同じ式を複数回評価する必要もなくなるため、Haskell では最適化によって計算効率の向上が期待できる。

型推論

Haskellでは関数のデータ型を明示しなくても処理系が自動的に型を推論する。以下は型の宣言を省略し、本体のみを宣言した引数の平方を返す関数 square である。

square x = x * x

この場合 square の型は型推論され、次のように明示的に型を宣言したのと同じになる。

square :: (Num a) => a -> a
square x = x * x

この宣言は、「Numのインスタンスである a の型の値を引数にとり、a の型の値を返す」と読める。ここでは「*」演算子が適用可能な最も広い型である Num a が選択されており、整数や不動小数点数、有理数のような Num のインスタンスであるあらゆる型の値を渡すことができる。外部に公開するような関数を定義するときは、型推論によって自動的に選択される最も広い型では適用可能な範囲が広すぎる場合もある。Integer　(整数)のみを渡せるように制限する場合は、次のように明示的に型を宣言すればよい。

square :: Integer -> Integer
square x = x * x

型推論のため、Haskellは型安全でありながらほとんどの部分で型宣言を省略できる。

代数的データ型

Haskellのデータ型には代数的データ型 (algebraic data type) と呼ばれる、C言語などでいう構造体や列挙体の性質を兼ね備えたものが用いられる。次の例は二つのInt型の値をフィールドに持つ二次元の座標、Point2D型を定義したもので、これは代数的データ型の構造体的な性質を示す。先頭のトークン「data」は代数的データ型の宣言であることを示す予約語である。ここで最初のPoint2Dはデータ型名を表し、次のPoint2Dはデータコンストラクタ名を示す。

data Point2D = Point2D Int Int
 
origin :: Point2D
origin = Point2D 0 0    -- データコンストラクタは関数のように適用できる

データコンストラクタは値を定義するための特殊な関数といえる。データコンストラクタは後述するパターンマッチによって値を取り出す際にも用いられる。

次の例はトランプの4つのスーツを示す Suit 型を定義したものである。Spade、Heart、Club、Diamond の4つのデータコンストラクタが定義されており、Suit型の式はSpade、Heart、Club、Diamondのいずれかの値をとる。

data Suit = Spade | Heart | Club | Diamond

次の例は String 型の値を格納する二分木の型である。Leaf（葉）は String 型の値を持ち、Branch（枝）は Leaf もしくは Branch である Tree 型の変数を二つ持つ。これは代数的データ型の構造体的な性質と列挙体的な性質の両方が現れている。

data Tree = Leaf String | Branch Tree Tree
 
organisms :: Tree
organisms = Branch animals plants    -- Branch (Branch (Branch (Leaf "Lion") (Leaf "Tiger")) (Leaf "Wolf")) (Leaf "Cherry")
 
animals = Branch cats (Leaf "Wolf")
 
cats = Branch (Leaf "Lion") (Leaf "Tiger")
 
plants = Leaf "Cherry"

無名関数

Haskell は第一級関数をサポートしており、高階関数を定義することができる。つまり、関数の引数として関数を与えたり、返り値として関数を返すことができる。無名関数は \ (バックスラッシュ)から始まり、それに続いて引数となる変数、引数と本体のあいだに -> 記号をおく。 List モジュールに定義されているリストのソートを行う関数 sortBy は、二つの要素に大小関係を与える関数を引数にとるが、 無名関数を使うと例えばリストをその長さの短い順にソートする関数 sortList は次のように定義できる。

sortList xs = sortBy (\as bs -> compare (length as) (length bs)) xs

関数のカリー化と部分適用

Haskell において、2つの引数を持つ関数は、1つの引数をとり「1つの引数をとる関数」を返す関数と同義である。このように、関数を返すことで全ての関数を1つの引数の関数として表現することをカリー化という。(あえてタプルを使うことで複数の引数を渡すような見かけにすることもできるが。)次の例は2つの引数をとり、そのうち値が大きい値を返す関数maxである。

 max a b = if a > b then a else b

この関数maxは無名関数を用いて次のように書き換えることができる。先ほどの表現とまったく同様に動作するが、この表現では関数を返す様子がより明らかになっている。

 max a = \b -> if a > b then a else b

さらに、次のようにも書き換えることができる。

 max = \a -> \b -> if a > b then a else b

あるいは、f x = ... x ... は、 f = (\x -> ... x ... ) のシンタックスシュガーであるとも言える。このため、Haskell の定義は変数に束縛するのが定数であるか関数であるかにかかわらず、「変数 = 値」という一貫した形でも定義できる。

カリー化によって、Haskellのあらゆる関数は引数を部分適用することができる。つまり、関数の引数の一部だけを渡すことで、一部の変数だけが適用された別の関数を作り出すことができる。また、Haskellでは演算子を部分適用することすら可能であり、演算子の部分適用をとくにセクション（section）と呼ぶ。

任意のリストをとり、その要素から条件にあう要素のみを取り出す関数 filter が標準ライブラリに定義されている。

filter :: (a -> Bool) -> [a] -> [a]

この関数では第一引数に残す要素を判定する関数をとるが、このときに部分適用を使えばそのような関数を簡潔に書くことができる。整数のリストから正の値のみを取り出す関数 positives は次のように定義できる。

positives :: [Int] -> [Int]
positives = filter (> 0)
 
ps = positives [-4, 5, 0, 3, -1, 9]    -- [5, 3, 9]

ここで、positives および filter の第2引数はソースコード上に現れずに記述できているが、このように単純に書けるのもカリー化の恩恵によるものである。

パターンマッチ

Haskell では関数の引数を様々な形で受け取ることができる。

次は整数の要素をもつリストの全要素の合計を返す関数 total である。

total :: [Int]
total [] = 0
total (x:xs) = x + total xs

total の関数本体の定義がふたつあるが、このうち引数の実行時の値と適合する本体が選択され呼び出される。上の本体定義では、引数が空のリストであるときのみ適合し、呼び出される。下の本体定義では、引数が少なくともひとつの要素を持つとき適合し、x に先頭の要素が束縛され、xs に残りのリストが束縛される。この例の場合はパターンに漏れはないが、もし適合するパターンが見つからない場合はエラーになる。

複数の返り値を扱うのもタプルなどを利用して極めて簡明に書くことができる。

(x, y) = (10, 20)

このとき、定義される変数は x および y で、それぞれ x=10、y=20 に定義される。

リストとリスト内包表記

Haskellで順序付けられた複数の値を扱うのにもっとも柔軟で簡潔な方法はリストを用いることである。次は四季の名前のリストである。

 ["Spring", "Summer", "Autumn", "Winter"]

次は初項10、公差4の等差数列のリストである。このリストは無限リストであり、その長さは無限大である。

 [10, 14..]

次の式は先ほどの数列の先頭20項を要素に持つリストである。take n l はリストlの先頭n個の項を要素に持つリストを返す関数である。

 take 20 [10, 14..]

もし正格な動作を持つ言語でこのような定義をしようとすると関数takeに値を渡す前に無限リストを生成することになるが、長さが無限のため無限リストの生成が終わることはなく関数takeがいつまでも呼び出されなくなってしまう。Haskellは遅延評価されるため、このようなリストを定義しても必要になるまで必要な項の値の生成は遅延される。このように無限リストを扱えるのはHaskellの大きな強みである。次は素数列をリスト内包表記を用いて定義した一例である。

 primes :: [Int]
 primes = [x | x <- [2..], and [rem x y /= 0 | y <- [2 .. x - 1]]]

リストはその柔軟性から再帰的な関数での値の受け渡しに向いているが、任意の位置の要素にアクセスするためには参照を先頭からたどる必要があるのでランダムアクセスが遅い、要素を変更するたびにリストの一部を作り直さなければならないなどの欠点がある。このためHaskellにも配列が用意されており、高速な参照や更新が必要なプログラムではリストの代わりに配列を用いることでパフォーマンスを改善できる可能性がある。

型クラスとインスタンス

型クラス（type class）は相異なるデータ型に共通したインターフェイスを持つ関数を定義する。例えば、順序づけることができる要素をもつリストをソートできる関数 sort を定義することを考える。リストの要素のデータ型は関数 sort を定義するときには不明であり、その要素をどのように順序付けるかを予め決定しておくことはできない。数値型も文字列型もそれぞれのデータを順序付けることができるであろうが、共通してデータの順序を返す抽象的な関数 order を定義することができれば、それを用いてソートすることができる。

まず型クラス Comparer を定義して、順序付ける関数 order の形式を定義する。値の順序を調べる関数 order x y は x y が昇順のときは負の値、降順の時は正の値、x と y が等しいときは 0 を返すものとする。ここで class は型クラスの宣言であることを示す予約語である。

 class Comparer a where
     order :: a -> a -> Int

型クラスを実装するには、対象のデータ型に対してインスタンス宣言を行う。 次は型 [a] の型クラスComparerに対するインスタンスを宣言したものである。このインスタンス宣言により、Enum のインスタンスである任意の型のリストを辞書順に比較できる。例えば、文字列([Char]) は Enum のインスタンスの Char のリストであり、このインスタンス定義により order を適用することができるようになる。ここで関数fromEnum cは文字cを数値に変換する関数である。Comparer のインスタンスを定義する型 a を Eq および Enum のインスタンスを持つものに限定しているので( (Eq a, Enum a) => の部分 )、インスタンス定義の内部で Eq の関数である (/=) や Enum の関数である fromEnum を使うことができている。

instance (Eq a, Enum a) => Comparer [a] where
    order [] [] = 0
    order _ [] = 1
    order [] _ = -1
    order (x:xs) (y:ys) | x /= y    = fromEnum x - fromEnum y 
                        | otherwise = order xs ys

次にリストをクイックソートする関数 sort を示す。型クラスを用いて順序付ける関数 order を抽象化したため、このように型クラス Comparer のインスタンスを持つ全ての型の値に適用できる一般化されたソート関数を定義できるのである。

 sort :: Comparer a => [a] -> [a]
 sort [] = []
 sort (x:xs) = sort [e | e <- xs, order e x < 0] ++ [x] ++ sort [e | e <- xs, order e x >= 0]

この関数 sort は次のように使う。

main = do
    print (sort ["foo", "bar", "baz"]) -- ["bar", "baz", "foo"] と出力される。
    print (sort [[5, 9], [1, 2], [5, 6]]) -- [[1, 2], [5, 6], [5, 9]] と出力される。

Haskell のインスタンス宣言は複数の型に共通する操作を定義するという点で Java や C# の「インターフェイス」と似ているが、Haskell では既存の任意の型についてもインスタンスを定義できる点でもインターフェイスに比べて柔軟である。

入出力

すべての式が参照透過である Haskell においては、副作用のある処理は直接表現できない。そのため、Haskell では圏論のアイデアを利用したモナドによって入出力が表現されており、Haskellでも最も特徴的な部分となっている。次はHaskellによるHello worldの一例である。実際に単独で実行可能形式にコンパイルできる、小さいが完全なプログラムの一例にもなっている。

 main :: IO ()
 main = putStrLn "Hello,World!"

Haskellは純粋関数型言語であり、mainもやはり参照透過である（副作用はない）。しかし処理系はmainとして定義された IO a 型の値をそのプログラムの動作を示す値として特別に扱う。putStrLn は標準出力に文字列を出力する動作を表す IO a 型の値を返す関数であり、実行すると引数として渡された "Hello,World!" を出力する。次に標準出力から一行読み込み、そのまま標準出力に出力するechoプログラムを考える。次のような、C言語等などのような表記はできない。getLine 関数は標準入力から一行読み取る関数である。

 main = putStrLn getLine --コンパイルエラー！

getLine と putStrLn はそれぞれ次のような型を持っている。

 getLine :: IO String
 
 putStrLn :: String -> IO ()

純粋関数型である Haskell では getLine もやはり副作用はなく、getLine は一行読み込むという動作を表す値を常に返す。このように入出力の動作を表す値をアクション（action）と呼ぶ。getLine が返すのは String そのものではなくあくまで IO String という型を持ったアクションであって 、それを putStrLn の引数に与えることはできない。正しいEchoプログラムの一例は次のようになる。

 main :: IO ()
 main = getLine >>= putStrLn

ここでは演算子 >>= によってふたつのアクションを連結している。このとき、main は一行読み込みそれを出力するというアクションとなり、このプログラムを実行すると処理系は main が持つアクションの内容を実行する。このアクションを実行すると、getLine は一行読み込み、それを putStrLn に渡す。このとき、読み込まれたデータにこれらのアクションの外側からアクセスすることはできない。このため、この式は参照透過性を保つことができる。

実例

以下の単純な例は関数型言語としての構文の実例にしばしば用いられるもので、Haskellで示された階乗関数である。

 fac :: Integer -> Integer
 fac 0 = 1
 fac n | n > 0 = n * fac (n-1)

階乗を単一の条件による終端を伴う再帰的関数として表現している。これは数学の教科書でみられる階乗の表現に似ている。haskellコードの大半は、その簡潔さと構文において基本的な数学的記法と似通っている。

この階乗関数の1行目は関数の型を示すもので、省略可能である。これは「関数facはIntegerからIntegerへ（Integer -> Integer）の型を持つ（::）」と読める。これは整数を引数としてとり、別の整数を返す。もしプログラマが型注釈を与えない場合、この定義の型は自動的に推測される。

2行目ではHaskellの重要な機能であるパターンマッチングに頼っている。関数のパラメータが丸括弧で囲まれておらず、しかし空白で区切られていることに注意されたい。関数の引数が0であれば、これは整数1を返す。その他の場合は3行目が試される。これは再帰的な呼び出しで、基準となる場合に達するまで繰り返し関数が実行される。

ガードは階乗が定義されない負の値から3行目を保護している。このガードが無ければこの関数は0の終端条件に達することなく、再帰してすべての負の値を経由してしまう。実際、このパターンマッチングは完全ではない。もし関数facに負の整数が引数として渡されると、このプログラムは実行時エラーとともに落ちるであろう。最後のケースではエラー条件がチェックされ、代わりに適切なエラーメッセージを出力することができる。

より複合的な例

引数fを伴う高階関数で表現された単純な逆ポーランド記法評価器が、パターンマッチングと型クラスReadを用いたwhere節で定義されている。

 calc :: String -> [Float]
 calc = foldl f [] . words
   where 
     f (x:y:zs) "+" = y+x:zs
     f (x:y:zs) "-" = y-x:zs
     f (x:y:zs) "*" = y*x:zs
     f (x:y:zs) "/" = y/x:zs
     f xs y = read y : xs

空リストを初期状態とし、fを使って一語ずつ文字列を解釈していく。fは、注目している語が演算子ならばその演算を実行し、それ以外ならば浮動小数点として計算スタックに積んでいる。

次の定義は線形時間でフィボナッチ数列のリストを生成する。

 fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

無限リストはcorecursion――リストの後ろの値は要求があったときに0と1の二つの初期要素から開始され算出される――によって実現される。このような定義は遅延評価の実例で、Haskellプログラミングでも重要な部分である。

どのように評価が解決されるかの例示のために、次は6つの要素の計算の後のfibsとtail fibsの値と、どのようにzipWith (+)が4つの要素を生成し、次の値を生成し続けるかを図示したものである。

 fibs         = 0 : 1 : 1 : 2 : 3 : 5 : ...
                +   +   +   +   +   +
 tail fibs    = 1 : 1 : 2 : 3 : 5 : ...
                =   =   =   =   =   =
 zipWith ...  = 1 : 2 : 3 : 5 : '''8''' : ...
 fibs = 0 : 1 : 1 : 2 : 3 : 5 : '''8''' : ...

次はGHCの拡張で、リストの並列内包表記（GHCの拡張は特別なコマンドラインフラグによって有効にしなければならない。詳しくはGHCのマニュアルを参照のこと）を用いて書かれた同様の関数である。

 fibs = 0 : 1 : [ a+b | a <- fibs | b <- tail fibs ]

先に見た階乗の定義は、次のように関数の列を内包表記で生成して書く事もできる。

 fac n = (foldl (.) id [(*k) | k <- [1..n]]) 1

特に簡潔に書ける例として、ハミング数が順番に並ぶリストを返す以下のような関数がある。

 hamming = 1 : map (*2) hamming # map (*3) hamming # map (*5) hamming
     where xxs@(x:xs) # yys@(y:ys)
               | x==y = x : xs#ys
               | x<y  = x : xs#yys
               | x>y  = y : xxs#ys

上に示されたさまざまなfibsの定義のように、これはオンデマンドに数のリストを実現するために無限リストを使っており、1という先頭要素から後続の要素を生成している。

ここでは、後続要素の構築関数はwhere節内の記号#で表現された中置演算子で定義されている。適用の構文は異なるが、演算子は識別子が記号からなる関数である。

各|は、等号の前半の条件部分と、後半の定義部分からなるガード節を構成する。

文字列を出力する例については「Hello worldプログラムの一覧#Haskell」を参照

ライブラリ

Parsec

Parsec は Haskell で書かれたパーサコンビネータである。パーサの一種であるがコンパイラコンパイラとは異なり、Parsec はパーサのソースコードを出力するのではなく、純粋に Haskell の関数としてパーサを構成する。yaccのようにプログラミング言語と異なる言語を新たに習得する必要がなく、高速でかつ堅牢で、型安全で、演算子の結合性や優先順位を考慮したパーサを自動的に構成したり、動的にパーサを変更することすらできる。

Templete Haskell

Templete Haskell は Haskell のメタプログラミングを可能にする拡張である。Haskell ソースコードの構文木を直接 Haskell から操作することができ、C/C++ のマクロやテンプレートを上回る極めて柔軟でプログラミングを行うことができる。

QuickCheck

QuickCheck はデータ駆動型のテストを行うモジュールである。自動的にテストデータを作成してプログラムの正当性をテストすることができる。

批判

Haskellは他のプログラミング言語には見られない多くの先進的機能を持っているが、これらの機能のいくつかは言語を複雑にしすぎており、理解が困難であると批判されてきた。とりわけ、関数型プログラミング言語と主流でないプログラミング言語に対する批判はHaskellにもあてはまる。加えて、Haskellの潔癖さとその理論中心の起源に起因する不満がある。

2002年にJan-Willem Maessen、2003年にSimon Peyton Jonesが遅延評価に関連するこの問題を議論し、その上でこの理論的動機を認識した。彼らは実行時のオーバーヘッドの悪化に加え、遅延はコードのパフォーマンスの推察をより困難にすると言及した。

2003年にBastiaan HeerenとDaan Leijen、Arjan van IJzendoornはHaskellの学習者にとってのつまづきに気がついた。これを解決するために、彼らはHeliumと呼ばれる新たなインタプリタを開発し、この中でいくつかの型クラスのサポートを取り除き、Haskellの機能の一般化を制限することによってエラーメッセージのユーザ親和性を改善した。

実装

以下はHaskell 98仕様を完全に満たす、または仕様に非常に近く、オープンソースライセンスの下で配布されているものである。ここには現在のところ商用のHaskell実装は含まれない。

• Glasgow Haskell Compiler [1]. The Glasgow Haskell Compiler は異なる複数のアーキテクチャのネイティブコードへコンパイルできるほか、C言語へコンパイルすることもできる。おそらくGHCは最も知られたHaskellコンパイラで、現在のところGHCのみで動くかなり便利ないくつかのライブラリ（たとえはOpenGLのバインディングなど）を含む。
• Gofer Haskellの教育的バージョン。 GoferはMark Jonesにより開発された。これはHugsに取って代わられた。
• HBC [2] は別のネイティブコードHaskellコンパイラ。これはしばらくの間開発が活発ではなくなっているが、未だに利用可能である。
• Helium [3] は新しいHaskellの方言である。開発の際の焦点は、明瞭なエラーメッセージを提供し学習を容易にすることである。Heliumは型クラスをサポートせず、多くのHaskellプログラムとは互換性のない実装である。
• Hugs [4] はバイトコードインタプリタ。これは速いプログラム編集とそれなりの実行スピードを提供する。これは単純なグラフィックスライブラリを含む。多くの人がHaskellの基本を学ぶのによいが、これはオモチャ的な実装であるということではない。これは最も可搬で軽量なHaskell実装である。
• Jhc [5] は新しいプログラム変換の研究用としてのみならず、スピードと生成されるプログラムの効率を重視したJohn Meachamによって書かれたHaskellコンパイラである。
• nhc98 [6] は別のバイトコードコンパイラであるが、そのバイトコードはHugsより顕著に速く走る。Nhc98は省メモリ使用に焦点を絞っており、古いマシンや遅いマシンにはとりわけよい選択肢となる。
• yhc [7] はnhc98の派生物で、単純かつ可搬で効率的、integrating Hatのサポートを目標とする。

参考文献

• Simon Peyton Jones. Wearing the hair shirt: a retrospective on Haskell 2003年のen:POPLでの招待演説。
• Jan-Willem Maessen. Eager Haskell: Resource-bounded execution yields efficient iteration. 2002年のACM SIGPLAN workshopでのHaskellの記録。
• Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn. Helium, for learning Haskell. 2003年の ACM SIGPLAN workshop でのHaskellの記録。

関連項目

• Atom - Haskell言語ベースのハードウェア記述言語
• Bluespec - Haskell言語ベースのハードウェア記述言語
• Hydra - Haskell言語ベースのハードウェア記述言語
• O'Haskell（en）はオブジェクト指向と並列プログラミングを提供するHaskellの拡張である。

外部リンク

• HaskellWiki - Haskellの本家。
  • Old HaWiki - Haskellのいくつかの古い話題の議論
  • Haskell Humor
  • Haskell Tutorial for C Programmers by Eric Etheridge
  • A Gentle Introduction to Haskell 98 - (PDFファイルとしても入手可能)
  • Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity - （PostScriptファイル）
• Yet Another Haskell Tutorial - Hal Daume IIIによるよいHaskellチュートリアル。 公式チュートリアルに先立つより厳選された知識。
• The Evolution of a Haskell Programmer - Haskellで使える異なるプログラミングスタイルのちょっとユーモラスな概説。
• An Online Bibliography of Haskell Research