どのdiffrence Int a => a - > StringとInt - > String

Question

Int a => a -> StringとInt -> Stringの違いは何ですか？

成功：

f1 :: Int -> String 

エラー：

f1 :: Int a => a -> String 

f1 n = show n 

Answer 1

Intが、具体的なタイプですので、制約を作成するために使用することはできません。 Numのような型クラス（種類が* -> Constraintの場合）が制約の作成に使用されます。

あなたはする必要はありません。制約の目的は、aのような型変数が特定のクラスのインスタンスである型でなければならないことを指定することです。 Int aのようなものは「タイプIntタイプa」を意味するだけで、そのようなタイプ（驚き：Int）が1つしかないので、Int -> Stringと書いてください。

Num a => a -> Stringような制約はInt、Integer、Float、Double、またはいくつかの他の適切なタイプであってもよいNumを実装する任意の型の引数を取る関数の種類を定義します。