型と型クラス
9.2 代数的データ型
本文の内容とあんまり関係がないところですが、
フィールドラベルのパターンマッチの書き方が(個人的に)しっくり来ませんでした。
data Font = Font {aSize :: Int, aColor :: String, aStr :: String} getsize :: Font -> Int getsize (Font {aSize = size}) = size
パターンマッチで
データコンストラクタ {フィールド名 = 変数名}
と言う風に、フィールド名が左辺に来るところがしっくり来ませんでした。
今後使うとき、間違いそうです。
でも間違ってもコンパイルエラーになるので問題ありませんけどね。