haskell - 什么是Ord类型？

Question

是不是每个类都不是 Haskell 中的类型:

Prelude> :t max
max :: Ord a => a -> a -> a
Prelude> :t Ord

<interactive>:1:1: Not in scope: data constructor ‘Ord’
Prelude> 

为什么这不打印 Ord类型签名？

Answer 1

好的，这里发生了一些事情。

首先当你写 :t Ord您正在寻找名为 Ord 的东西在 值(value) 命名空间；具体来说，它必须是一个构造函数，因为名称以大写字母开头。

Haskell 将类型和值完全分开；类型的名称和类型的构造函数的名称之间没有关系。通常当只有一个构造函数时，人们会使用与类型相同的名称。一个例子是 data Foo = Foo Int .这声明了两个新的命名实体:类型 Foo和构造函数 Foo :: Int -> Foo .

将其视为只是创建一个类型并不是一个好主意Foo既可用于类型表达式也可用于构造Foo s。因为像 data Maybe a = Nothing | Just a 这样的声明也很常见。 . Maybe a 有 2 个不同的构造函数。 , 和 Maybe在值(value)层面上根本不是任何东西的名称。

所以仅仅因为你看过Ord在类型表达式中并不意味着有名称 Ord在值(value)级别为您询问类型与 :t .即使有，也不一定与类型级别名称 Ord 相关。 .

需要澄清的第二点是，不，类实际上不是类型。一个类是一组类型(它们都支持类中定义的接口(interface))，但它本身不是一个类型。

在 vanilla Haskell 中，类型类只是“额外”的东西。您可以使用 class 声明它们声明，用 instance 实例化它们声明，并以附加到类型的特殊语法(=> 箭头左侧的东西)使用它们作为类型变量的约束。但是它们并没有真正与语言的其余部分交互，并且您不能在类型签名的主要部分(`=> 箭头右侧的东西)中使用它们。

但是，使用 ConstraintKinds扩展，类型类确实成为类型命名空间中存在的普通事物，就像 Maybe .它们仍然不是类型，因为永远不会有任何值将它们作为类型，所以你不能使用 Ord或 Ord Int作为函数中的参数或返回类型，或具有 [Ord a]或类似的东西。

因为它们有点像 Maybe 这样的类型构造函数。 . Maybe是绑定(bind)在类型命名空间中的名称，但它本身不是类型；没有类型只是 Maybe 的值, 但是 Maybe可以用作定义类型的表达式的一部分，如 Maybe Int .

如果你不熟悉种类，可能会忽略我在 ConstraintKinds 中所说的一切。向前;您最终可能会了解种类，但它们不是您作为初学者需要了解的功能。但是，如果您是 ConstraintKinds做的是制作一种特殊的Constraint并且具有类型类约束(=> 箭头左侧)只是普通的类型级别的东西 Constraint而不是特殊用途的语法。这意味着 Ord是类型级别的东西，我们可以用 :k GHCI 中的命令:

Prelude> :k Ord
* -> Constraint

这是有道理的； max有类型 Ord a => a -> a -> a , 所以 Ord a必有样 Constraint .如果 Ord可以应用于普通类型以产生约束，它必须有种类 * -> Constraint .