为什么在值构造函数中声明的类型不是Haskell中的类型？

Question

假设我有以下值构造函数：

data Shape = Circle Float Float Float | Rectangle Float Float Float Float

现在我可以运行：

ghci> :t Circle
Circle :: Float -> Float -> Float -> Shape

现在我可以写一个类型声明

surface :: Shape -> Float

但是我不能输入类型声明

surface :: Circle -> Float

这是因为 “ Circle不是类型， Shape是”

我的问题是： 为什么在值构造函数中声明的类型不是Haskell中的类型？

Answer 1

data Shape = Circle Float Float Float | Rectangle Float Float Float Float

Shape是一个类型（和类型构造函数）。 Float是另一种类型。

Circle和Rectangle是Shape类型的值构造函数。

我想您的困惑来自于OOP子类型化-请注意，Haskell与之没有类似之处。 上面没有将两个类型的Circle和Rectangle声明为Shape子类型。

使用GADTs等高级扩展，您实际上可以编写类似foo :: Circle -> Float GADTs foo :: Circle -> Float类的东西，这意味着该参数是一个Shape值，已构造为Circle 。 这需要一些类型级别的技术。

另外，简单的Haskell方法可能是

data Circle = Circle Float Float Float
data Rectangle = Rectangle Float Float Float Float
data Shape = Scircle Circle | Srectangle Rectangle