今まで型宣言には具体的な型を書くものだと思っていたのだけど、型クラスを書いてもいいのね
myequal :: (Eq a) => a -> a -> Bool myequal a b = a == b
RWHの15.8(Hiding the IO monad)では型クラスを使って抽象化していた。
今まで型宣言には具体的な型を書くものだと思っていたのだけど、型クラスを書いてもいいのね
myequal :: (Eq a) => a -> a -> Bool myequal a b = a == b
RWHの15.8(Hiding the IO monad)では型クラスを使って抽象化していた。