削除された内容 追加された内容
英語版より翻訳。Translated from the latest revision of en:Haskell at 16:14, 4 April 2011, by Kowey, DavidHouse, and others.
 
5 行
'''Haskell'''は[[w:関数型言語]]である。他のプログラミング言語を触ったことのある読者なら、Haskellのやり方は他の言語とは多少異なっていることが分かるだろう。
 
Haskellの独自性は二つある。一つは「純粋」関数型言語であることである。純粋関数型言語では、同じ関数を同じ引数で呼び出したならば、必ず同じ戻り値になることが保証されている。二つめはHaskellが極めて現代的な、型理論を備えていることである。Haskellではtypeclassesやgeneralized algebraic data typesといった型を扱うことができる。これらの難解な概念は、今まったく理解できないだろうが、この本を読み終えた後にはより身近なものに感じられるだろう。
 
さて、Haskellerたちはこの言語のどこに気に入ったのだろうか。ユニークで、新しい感じがするからだろうか。しかし、Haskellの最も優れた性質は、純粋関数のみによって書かれていることで、プログラムを容易に理解でき、プログラムの正しさを簡単に示せることである。さらに、すぐれた型システムは、誤ったプログラムの修正にも良さを発揮する。単純なミスだけでなく、根の深い、厄介な問題の解決にも役立つ。