特征函数的类型别名

Question

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

      type Set = Int => Boolean

在哈斯克尔，我们如何实现相同的目标？

Answer 1

这与 Scala 几乎完全相同，只是在 Haskell 中也是如此

1. 箭头表示为 -> ，=>用于类型约束;和
2. 哈斯克尔的Boolean是Bool.

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

type Set = Int -> Bool