haskell - (->) 是否有数据构造函数？

Question

我知道(->)类型定义为 data (->) t1 t2 .我想知道 (->) 是否有数据构造函数类型？

Answer 1

不，(->)没有数据构造函数，因为函数不是代数数据类型。 ghci 说的事实

Prelude> :inf (->)
data (->) t1 t2     -- Defined in ‘GHC.Prim’

有点撒谎，因为那不是 (->)正在定义。事实上，周围没有定义，因为函数是一个非常原始的概念。

在某种意义上，一个 lambda 表达式 \x -> e (或者，等效地，函数定义)是​​ a -> b 类型值的“构造函数”。 ，但您不能对此进行模式匹配。相反，您使用函数应用程序 ( f e) 来解构(“使用”)函数。