著者紹介

内容

目次

第0部 はじめに -------------------------- 第i章 ようこそ 第ii章 この本の楽しみかた 第iii章 教養としての関数型プログラミング 第iv章 個人的な話 第v章 関数型プログラミングは常識になる 第vi章 謝辞 第I部 関数型プログラミング -------------------------- 第1章 古くて新しい、関数型プログラミング 第2章 関数型プログラミングの特徴 第3章 Haskellを学ぶ/Haskellで学ぶ 第Ⅱ部 関数と型 -------------------------- 第4章 Haskellを学ぶための環境を作る 第5章 関数 第6章 型 第7章 多相関数 第8章 関数と型のまとめ 第Ⅲ部 タプル、リスト、再帰 -------------------------- 第9章 タプル 第10章 リストによる「くりかえし」 第11章 演習:モンテカルロ法 第12章 ここまでの補足 第13章 再帰関数の基本 第14章 リストをとる再帰関数 第15章 たたみこみ 第16章 リストをかえす再帰関数 第17章 リストの再帰的定義 第18章 リストをあつかう標準的な関数 第19章 リスト内包表記 第20章 演習:構文解析 第Ⅳ部 代数的データ型と型クラス -------------------------- 第21章 代数的データ型 第22章 多相的な再帰的な、代数的データ型 第23章 レコード構文 第24章 代数的データ型とモジュール 第25章 演習:NML(Nano Markup Language) 第26章 型クラス 第27章 基本的な型クラス 第Ⅴ部 高階型 -------------------------- 第28章 型の種類 第29章 モノイド 第30章 ファンクタ 第31章 関数を変形する 第32章 モナドという性質 第33章 モナドとファンクタ 第34章 アプリカティブファンクタ 第35章 モナドをあらわす型クラス 第36章 モナドを身につける 第37章 モナドとリスト 第Ⅵ部 入出力 -------------------------- 第38章 IOモナド 第39章 IOモナドを身につける 第40章 演習:ライフゲーム 第Ⅶ部 補足 -------------------------- 第41章 並べられる 第42章 並べるときに、構造を覚えておく 第43章 どっちでもいい 第44章 演習：構文解析を、アプリカティブファンクタのわくぐみで 第Ⅷ部 おわりに -------------------------- 第45章 まとめ 第46章 つぎに何をするか 第47章 さあ、とびたとう