特征函数的类型别名

Question

在Scala中，我们可以为特征函数定义类型别名

      type Set = Int => Boolean

在Haskell中，我们如何实现相同的目标？

Answer 1

除了在Haskell中，这几乎与Scala中的完全相同

1. 箭头表示为->，=>用于类型约束；和
2. Haskell中的Boolean是Bool。

因此我们可以将其定义为：

type Set = Int -> Bool