Dodgson Labs

静的解析ツール LiquidHaskell を解説した本邦初の入門書。 LiquidHaskell では、篩型（refinement type）を用いて型の表現力を強化することで、本来なら実行時に初めて判明するはずのエラーをコンパイル時に検出できます。安全なリスト操作関数から定理証明に至るまで、豊富なサンプルとともに学びましょう。 第 1 章：環境構築 第 2 章：篩型による検証 第 3 章：安全なリスト操作 第 4 章：アルゴリズムの検証 第 5 章：定理証明 なお、本書は技術書典 2（2017 年 4 月 9 日） で頒布した同タイトルの冊子の PDF 版（追加要素なし）です。本文 52 ページ。 特設サイト：http://lh101.dodgsonlabs.com/ 注：発売からの時間経過に伴い、一部の内容が最新の情報と異なる場合があります。ご了承ください。