Haskellによる関数プログラミングの思考法

関数プログラミングの考え方・思考法を学ぶ!

  • 著 Richard Bird
  • 訳 山下伸夫
Haskellによる関数プログラミングの思考法

関数プログラミングの考え方・思考法を学ぶ!

◆関数プログラミングの思考法を伝える教科書!

本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。

もくじ

第1章 関数プログラミングとは何か
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器

書籍売上ランキング

最近チェックした商品