haskell - 関数内の -> と => によって混乱する Haskell

Question

->との違いは何=>ですか? 関数の宣言で？

foobar :: Integer -> Integer -> [Integer]

Answer 1

->関数テイク用です。署名は、「 を受け取り、 を返すx -> y関数」を意味します。xy

=>クラスを扱うためのものです。タイプ シグネチャごとに 1 回だけ表示できます。その左側のものは「コンテキスト」であり、どのタイプがどのクラスのインスタンスである必要があるかをリストしています。右側のものは通常のタイプの署名です。

たとえば、は数値型である必要があり、表示可能な型である必要がある(Num x, Show y) => x -> y -> Stringことを示します。xy

Answer 2

Type Constraintsについて読んでください。

基本的に、型には型 class のインスタンスが必要であることをfoo :: (X a) => a -> b意味します。aX