型クラス
public.icon
#Haskell
振る舞いを定義するインターフェース
ある型クラスのインスタンスである型は、その型クラスが記述する振る舞いを実装する
たとえば
(==)
は
(Eq a) => a -> a -> Bool
(Eq a)
は
型クラス制約
Rust
の
Trait
っぽいなーと思った
shinbunbun.icon