入門LiquidHaskell−篩型による静的コード解析−
チェシャ猫
|
サークル：
|
|
|
頒布価格：
|
800円
|
|
ジャンル：
|
評論・情報
|
| 配信期間： | 無制限 |
| シリアル有効期限： | 初回ダウンロードから1週間 |
| ダウンロード回数： | 制限なし |
内容紹介
LiquidHaskell では、篩型（refinement type）を用いて型の表現力を強化することで、本来なら実行時に初めて判明するはずのエラーをコンパイル時に検出できます。安全なリスト操作関数から定理証明に至るまで、豊富なサンプルとともに学びましょう。
インフォメーション