2014-06-01から1日間の記事一覧
はじめに 前回、単相型(具体型)とEq型クラスを作ったので 今回は多相型とFunctor型クラスを作成します 多相型(polymorphic type)に関して 例えばHaskellのList型は [1,2,3,4]でも[1.0,2.0,3.0,4.0]でも['1','2','3','4']でも どんな型でもListと呼ばれます…
はじめに 前回、単相型(具体型)とEq型クラスを作ったので 今回は多相型とFunctor型クラスを作成します 多相型(polymorphic type)に関して 例えばHaskellのList型は [1,2,3,4]でも[1.0,2.0,3.0,4.0]でも['1','2','3','4']でも どんな型でもListと呼ばれます…