静的解析ツール LiquidHaskell を解説した本邦初の入門書。LiquidHaskell では、篩型（refinement type）を用いて型の表現力を強化することで、本来なら実行時に初めて判明するはずのエラーをコンパイル時に検出できます。安全なリスト操作関数から定理証明に至るまで、豊富なサンプルとともに学びましょう。