Types 什么是「；词汇类型“；，有多少人？

在各种编程语言中，我遇到过名称不同的类似情况：

人们经常使用术语词汇类型，
然而，我从来没有看到过一种类型“词汇表”的定义

这个术语的定义是否松散？
类型理论和其他编程语言对词汇类型有什么看法

---

一切都在词汇类型之上吗？还有更多吗？

我对词汇的理解与编程和词汇类型有关，通常是赋予某些对象定义明确的属性

以下是Haskell中的一些示例：

考虑

可选

/

可能

类型和一个纯函数，它接受web服务器的HTTP回复并提取回复代码

getCode :: String -> Int

现在假设在运行此函数时，我们不知道响应是否成功-代码可能根本不存在。当代码丢失时，我们如何表示案例？我们可以指定一些人工值

-1

或

0

，或者我们可以将整个函数类型更改为：

getCode :: String -> Maybe Int

此外，

可能

在Haskell中形成一个

单子

，

函子

，

应用

，

可折叠

和一系列其他类型类。每个typeclass都增加了额外的能力来处理有问题的值，同时尊重它的存在/不存在

---

Haskell中的

产品

/

总和

类型表示为成对和

a b

。再次-通过

Product

或

Sum

定义某事物会增加一个定义明确的含义

Product a b

-两个值都必须存在，

Sum a b

-必须存在一个值，并免费添加一系列法律。

您能为上下文中使用的术语“词汇类型”提供任何链接/引用吗？我以前从未见过它，我很好奇它是否能为答案提供更多的背景信息。正如乔恩所说，你在哪里见过与这些术语相关的词汇类型？这不是我遇到过的，即使是在网上搜索了它之后，它也会告诉我们参考词，但我认为这意味着有不同类型的词汇可以指代特定的类型！我认为这个答案稍微遗漏了一个问题，那就是

是什么使一个类型成为“词汇表”

，而不是

这些类型做什么？

定义良好的含义是

。对于那些熟悉数学/编程术语的人来说，“交换和关联中的此操作”讲述的操作与“事物的类型<代码>是<代码>可能是东西<代码>”一样多。