在Purescript;有什么区别 - ＆gt;和=＆;;？

Question

在使用PureScript教程时，代码示例开始使用“=＆gt;”没有介绍它。结果我不明白何时使用'=＆gt;'而不是' - ＆gt;'。

例如，这使用'=＆gt;'：

instance showArray :: (Show a) => Show (Array a) where
    show array = "[" <> map show array <> "]"

这里使用' - ＆gt;'：

greet :: forall r. { name :: String | r} -> String
greet namedThing = "Hello, " ++ namedThing.name

Answer 1

(Show a) =>是一种类型约束，它将类型a限制为类Show的实例，而a -> b是一种函数。所以这段代码

foo :: forall a. (Show a) => a -> b

是从foo到a的函数b，类型a必须有类Show的实例

在OO语言中，它将是这样的

public B foo<A,B>(A x) where A:IShow