2014-04-24から1日間の記事一覧

Haskell定理証明士がEmptyCase拡張によって受ける恩恵と効能

EmptyCaseが入ってきた.absurd pattern matchingがHaskellで使えるのでHaskell証明士には朗報だ.具体的にEmptyCaseの有無で世界がどう変わるかを把握してる範囲で書く.まず,矛盾(bottom)の扱いについて.矛盾は「値を構成できない型」になればよいので,…