入門LiquidHaskell−篩型による静的コード解析−

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