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

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

  • ダウンロード商品
    default
    ¥ 800

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

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