参考書とかで以下のコードをghciで入力しようと、タイトルのようなエラーがでると思います。 うまくいかないときはファイルに書いてロードするといい。 factorial :: Int -> Int factorial 0 = 1 factorial n = n * factorial(n-1)ghciで上のコード一行ずつ…

■型クラス Prelude> :t (==) (==) :: Eq a => a -> a -> Bool=>の前にあるのが型クラス制約というもので、"型aはEq型でないといけない"ことを意味する。 なので、全体では"==は同じ型aの引数をとって、型aをとってBOOLを返す関数です。そして型aはEq型のイン…