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

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

  • Digital
    800 JPY

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

About shipping
Shipped from warehouse

These products are shipped from BOOTH warehouse as soon as payment is confirmed.

Shipped from home

These products are packed and shipped from the seller. "Ships within ~ days" are the estimated number of days from when payment is confirmed at BOOTH until the item is shipped.
Items shipped by Anshin-BOOTH-Pack will be delivered anonymously.

Download item

You will be able to download these products from "Purchase History" at any time after payment is confirmed.

Shipped from pixivFACTORY

These products are manufactured and shipped by pixivFACTORY as soon as payment is confirmed.

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