2014-12-23から1日間の記事一覧

計算の合成

Haskell Advent Calendar 2014 の22日目のエントリーです。 導入 Haskell では計算を持った値であることを型で表わすことができる。 とくに計算を持っていない型は Int や a のような形をしている。 しかし例えば Maybe Int ならば、結果の型 Int の値は得ら…