konboi_kun https://blog.hatena.ne.jp/konboi_kun/ 八葉の日記 https://konboi-kun.hatenablog.com/ ■型クラス Prelude> :t (==) (==) :: Eq a => a -> a -> Bool=>の前にあるのが型クラス制約というもので、"型aはEq型でないといけない"ことを意味する。 なので、全体では"==は同じ型aの引数をとって、型aをとってBOOLを返す関数です。そして型aはEq型のインスタンスである必要があります" ということを意味しています。型クラスの例とサポートしている(しないといけないふるまい) Eq型：==、/= Ord型：>、=、 Show型：インスタンスを文字列出力可能であること 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkonboi-kun.hatenablog.com%2Fentry%2F2018%2F05%2F27%2F133810" title="Haskellメモ - 八葉の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-05-27 13:38:10 rich https://konboi-kun.hatenablog.com/entry/2018/05/27/133810 1.0 100%