purescript - 在纯脚本中； -> 和 => 有什么区别？

Question

在学习 PureScript 教程时，代码示例开始使用“=>”而不引入它。结果我不明白何时使用“=>”而不是“->”。

例如这使用'=>':

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

这里使用'->':

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必须有一个类的实例>显示

在 OO 语言中它会是这样的

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