十一日目

お久しぶりです!! 台風一過。

data Person = Person String String Int Float String String

やれやれ。こんなの書いてても全然楽しくないっすね!

うそだよー、ありますよ! ハッハッハッ!

data TestP = TestP { testName :: String
     , testFlavor :: String }

data Car a b c = Car { company :: a,
     model :: b,
     year :: c
     } deriving (Show)

みたいにして（TestP は Show できないのがミソ）ghciで、

let a = Car "a" "b" $ TestP "c" "d"

ってすると普通に通ったので、a,b,cが Show できるかどうかというのは見てなさそう。もちろん ghci に出力するタイミングで死ぬけど。これ安全なんだろうか...

調べてみたらそもそも deriving は一部の型クラスにしか使えないらしい。
- コンパイラによって違うとか書いてあるしよくわからん ( http://stackoverflow.com/questions/3864647/how-does-deriving-work-in-haskell )
まあできればやるみたいなそういう文脈なのかな、リストとか考えてもそういうことなのだろう
と思ったらデータ宣言には型クラスをつくらず、関数で制限するという文脈らしい。
- 要するに関数側で型制約をつけましょうという感じっぽい
とにかくジェネリック
Vector a における a は型引数

data TwoItems = Hoge | Piyo
     deriving (Eq, Ord, Show, Read, Bounded, Enum)

して succ Piyo すると怒られる。どうやらこれだけじゃループは無理そう。独自に書いたらよさそう。

型シノニム。タプルとか適当に型シノニム使っていくと便利そう
関数内限定で型シノニム使えるとよさそう
Either よくわからん...
- エラー情報を入れることも出来るみたいなざっくりした理解
- タプルやクラスと何が違うんだかわからん、特化したものと捉えてるけど

感想