fugafuga.write

日々のログ

2018-01-31から1日間の記事一覧

すごいH本 part51

YesNo 型クラスをつくる JavaScript 的なゆるふわ真理値の型クラスをつくる class YesNo a where yesno :: a -> Bool 真理値の概念を何らかの形で含むとみなせる型の値を取り、それが true かどうかを返す。 インスタンスを定義する instance YesNo Int wher…

すごいH本 part50

祝 part 50 型クラスのサブクラス化 Num クラスの型宣言 class (Eq a) => Num a where ... Num 型クラスのインスタンスは Eq 型クラスのインスタンスである必要がある。 サブクラス作成に必要な知識はこれだけ。 多相型を型クラスのインスタンスにする 型コ…