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

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