fugafuga.write

日々のログ

2018-02-06から1日間の記事一覧

すごいH本 part55

型の種類 型とは、値についている何らかの推論をするためについている小さなラベルである。 それと同じように型にも小さなラベルが付いている。 型に付くラベルのことを種類(kind)という。 種類を調べる *Main Lib> :k Int Int :: * * は具体型を表す記号。 …

すごいH本 part54

Map を Functor のインスタンスにする 練習問題とされていたので自分で実装してみる Map,Functorはすでに定義されているので独自のデータ型とFunctorを作る data MyMap k v = MyMap k v deriving (Show) class MyFunctor f where fmap' :: (a -> b) -> f a -…