「何でもOK」な多相が「parameter polymorphism」 「一部OK」な多相(制約付多相)が「ad hoc polymorphism」で制約を付けるのが「(型)クラス」(type class) (≠型) ad hocの例 「sort」はリストをソートする。 例えば [2,1,3]とか ["abc", "ghi", "def"]とか。…

haskellで新しい型を定義するときの方法 「data宣言」 data TConst TVar1 Tvar2 ... = DConst1 Type11 Type12...| DConst2 Type21 Type22... | ..「data」が宣言 「TConst」が「型コンストラクタ」 「Tvar」が「型変数」 「DConst」が「データコンストラクタ…