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

チェシャ猫
サークル：
頒布価格：
800円
ジャンル：
評論・情報
配信期間： 無制限
シリアル有効期限： 初回ダウンロードから1週間
ダウンロード回数： 制限なし
シリアル情報を入力して、アカウントに登録 または ダウンロード を選んでください。
現在ファイルがありません。
この作品をダウンロードしたい方は、頒布者にアップロードを依頼してください。
ファイルが無い場合でもシリアルがあればアカウントに紐づけする事は可能です。
内容紹介
静的解析ツール LiquidHaskell を解説した本邦初の入門書。

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