2014-06-12から1日間の記事一覧
GADTとは Generalized Algebraic DataTypes(GADT)と言うHaskellの記法(?)を知りました Haskellの入門書などで出てくるMaybe型は以下のような定義になっています data Maybe a = Nothing | Just a これをGADTで書くと以下のようになるそうです data Maybe a…
GADTとは Generalized Algebraic DataTypes(GADT)と言うHaskellの記法(?)を知りました Haskellの入門書などで出てくるMaybe型は以下のような定義になっています data Maybe a = Nothing | Just a これをGADTで書くと以下のようになるそうです data Maybe a…