2014-06-05から1日間の記事一覧
はじめに また性懲りもなく 今回は以前にもまして穴だらけですが いつか理解できるまでの手前用のメモとして IO型 (いつかリベンジしたい) Haskellでは以下のように定義されています --data IO a *->* newtype IO a = IO (State# RealWorld -> (# State# R…
はじめに また性懲りもなく 今回は以前にもまして穴だらけですが いつか理解できるまでの手前用のメモとして IO型 (いつかリベンジしたい) Haskellでは以下のように定義されています --data IO a *->* newtype IO a = IO (State# RealWorld -> (# State# R…