現在ファイルがありません。この作品をダウンロードしたい方は、出品者にアップロードを依頼してください。ファイルがない場合でもシリアルがあればアカウントに紐づけるする事は可能です。
内容紹介
静的解析ツール LiquidHaskell を解説した本邦初の入門書。
LiquidHaskell では、篩型(refinement type)を用いて型の表現力を強化することで、本来なら実行時に初めて判明するはずのエラーをコンパイル時に検出できます。安全なリスト操作関数から定理証明に至るまで、豊富なサンプルとともに学びましょう。