ヽ(´・肉・`)ノログ

How do we fighting without fighting?

朝 kell 16 回目

Typeclasses 101 のあたりをやりました.

今日は Enum, Bounded, Num のあたりですね.

勘違いしてたのですけど,今見てるのは Type ではなく Typeclass でした.

Type
Bool, Char, Int …
Typeclass
Eq, Ord, Show, Read, Enum …
A typeclass is a sort of interface that defines some behavior.

って書いてあるから Type に持っている振舞を表すインターフェースというものでしたね.Type と Typeclass をあんまり区別しないで考えていたのでちょっと混乱していました.

[1 .. 5]

のような,リストを .. で扱う記法は Enum で使えるようですね.Ruby をやっているせいかてっきり Range で表しているものだとばっかり思ってました.

あとは Bounded や Num で急に

polymorphic constants

のことを語り出したので今後の動向を注視したいと思います.