目次
第1章 二分ヒープ木の楽しみ
第2章 仕様に基づくテスト―QuickCheckを使って
第3章 おりがみプログラミング
第4章 Haskellで音楽を記述し解釈する
第5章 融合変換を自動化する
第6章 金融取引契約の書き方
第7章 関数画像
第8章 Lava:関数によるハードウェア記述
第9章 論理プログラミングのためのコンビネータ
第10章 アローと計算
第11章 もっと整ったプリティプリンタ
第12章 ファントム型を楽しむ
著者等紹介
Gibbons,Jeremy[GIBBONS,JEREMY][Gibbons,Jeremy]
オックスフォード大学コンピューティング研究所。ケロッグカレッジフェロー
Moor,Oege De[MOOR,OEGE DE][Moor,Oege De]
オックスフォード大学コンピュータサイエンス教授。モードリンカレッジフェロー
山下伸夫[ヤマシタノブオ]
聖徳大学短期大学部総合文化学科准教授。Haskellを通じてプログラミングの楽しさを何如に伝えるかに興味がある(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。