のインスタンス宣言は複数の型に共通する操作を定義するという点で や の「インターフェイス」と似ているが、 では既存の任意の型についてもインスタンスを定義できる点でもインターフェイスに比べて柔軟である。
入出力.
すべての式が参照透過である においては、副作用を式の評価そのものでは表現できない。そのため、 では圏論のアイデアを利用したモナドによって入出力が表現されており、 でも最も特徴的な部分となっている。次は による の一例である。実際に単独で実行可能形式にコンパイルできる、小さいが完全なプログラムの一例にもなっている。
 getLine :: IO String
実例.
以下の単純な例は関数型言語としての構文の実例にしばしば用いられるもので、 で示された階乗関数である。
階乗を単一の条件による終端を伴う再帰的関数として表現している。これは数学の教科書でみられる階乗の表現に似ている。 コードの大半は、その簡潔さと構文において基本的な数学的記法と似通っている。
より複合的な例.
先に見た階乗の定義は、次のように関数の列を内包表記で生成して書く事もできる。
特に簡潔に書ける例として、ハミング数が順番に並ぶリストを返す以下のような関数がある。
各|は、等号の前半の条件部分と、後半の定義部分からなるガード節を構成する。
ライブラリ.
QuickCheck.
lens.
批判.
 は他のプログラミング言語には見られない多くの先進的機能を持っているが、これらの機能のいくつかは言語を複雑にしすぎており、理解が困難であると批判されてきた。とりわけ、関数型プログラミング言語と主流でないプログラミング言語に対する批判は にもあてはまる。加えて、 の潔癖さとその理論中心の起源に起因する不満がある。
実装.
アタリショック
概要.
事象.
これにより売り上げはさらに急加速、アタリに対してロイヤリティさえ払えば基本的に何処の誰でも・自由に・アタリ社に関係なく、同機で動作するソフトウェアを開発し、販売する事が可能になった。このため、市場には様々なゲームソフトが流通し、様々なゲームメーカーが勃興、多くの人に楽しまれるゲームソフトを発売していったのである。
粗製濫造の影.