- 著 Richard Bird
- 訳 山下伸夫
- 定価: 円 (本体 円+税)
- 発売日:
- 2017年02月28日
- 判型:
- B5変形判
- 商品形態:
- 単行本
- ページ数:
- 336
- ISBN:
- 9784048930536
Haskellによる関数プログラミングの思考法
- 著 Richard Bird
- 訳 山下伸夫
- 定価: 円 (本体 円+税)
- 発売日:
- 2017年02月28日
- 判型:
- B5変形判
- 商品形態:
- 単行本
- ページ数:
- 336
- ISBN:
- 9784048930536
関数プログラミングの考え方・思考法を学ぶ!
◆関数プログラミングの思考法を伝える教科書!
本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。
本書では、「関数と関数適用を使ってプログラムを構成する」「数学で用いる単純な記法で問題を簡潔明快に記述する」「単純な数学を基盤とし等式論証を用いてプログラムの性質に関して証明やプログラム運算する(意味を変えることなくプログラムを変換する)」ことで、意図どおり正しく合理的な時間で動作するプログラムを手早く書くというプログラマ共通の課題に挑み、関数プログラミングの基本的な考え方を学んでいく。
※画像は表紙及び帯等、実際とは異なる場合があります。
もくじ
第1章 関数プログラミングとは何か
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器
第2章 式,型,値
第3章 数値
第4章 リスト
第5章 単純な数独ソルバー
第6章 証明
第7章 効率
第8章 プリティプリント
第9章 無限リスト
第10章 命令的関数プログラミング
第11章 構文解析
第12章 単純等式運算器