#これはなに
- Haskellの型システムのお勉強
- 型,型クラス,instanceの理解のためにとりあえず書いてみた
#わかったこと
- とりあえず思いついたことの通りに書いたけど動いた.抽象的な定義で動くのすごい
- 直積と直和
- 今回の例では型クラスを使う必要は(多分)無い.
- 型クラスを用いる時は「複数の型に対して共通の関数を使うとき」.H本のYesNoとか.
#次どうする
- 再帰構造とかで型を定義してみたい
- ちゃんとした場面で型クラスを使う
- Functorもできれば触りたい
- H本11章読む
- はよMonad勉強したい