他のプログラミング言語にも多大な影響をあたえる関数型言語。「宣言的」とはどういうことか。またパターンマッチング、再帰的定義、モナド、静的な型付け、型クラスとインスタンス宣言など重要な概念について、Haskell(ハスケル)を利用したプログラムを組みながら、実践的な解説を試みます。