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

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

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

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

商品の発送について
倉庫から発送

BOOTHの倉庫から配送される商品です。入金が確認され次第、発送されます。

自宅から発送

出品者自身が梱包・配送します。「発送までの日数」は、BOOTHでの入金確認が完了してから商品が発送されるまでの予定日数です。
あんしんBOOTHパックで発送予定の商品は、匿名で配送されます。

ダウンロード商品

入金が確認された後に「購入履歴」からいつでもダウンロードできるようになります。

pixivFACTORYから発送

pixivFACTORYが製造・配送する商品です。入金が確認され次第、製造されます。

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