Types Scheme中类型的确切术语

我正在寻找一个关于方案类型的标准文件。例如，由于类型不需要在程序中显式指定，我不知道它是

bool

或

boolean

<代码>列表或

列表

int

或

Nat

<代码>列表[]或

列表[alpha]

---

另一个小问题是“原子表达式”是如何定义的。例如，

”（1 2 3）

是一个原子表达式吗？

正如您所指出的，类型不需要显式指定。因此，语言规范中基本上没有类型的概念

有一些语言——我想到了类型化的Racket——在Scheme的基础上构建了一种类型化的语言，这些语言定义了自己的类型

还有一些合同系统为价值类别命名。再一次，我可以举Racket为例，但我相信也有类似的系统

如果没有更具体的话，你的问题就没有一般的答案

---

术语“原子”通常用于指非“复合数据”的值；也就是说，不包含其他值的值。列表肯定不是原子的，符号也是。

正如您所指出的，类型不需要显式指定。因此，语言规范中基本上没有类型的概念

有一些语言——我想到了类型化的Racket——在Scheme的基础上构建了一种类型化的语言，这些语言定义了自己的类型

还有一些合同系统为价值类别命名。再一次，我可以举Racket为例，但我相信也有类似的系统

如果没有更具体的话，你的问题就没有一般的答案

术语“原子”通常用于指非“复合数据”的值；也就是说，不包含其他值的值。列表绝对不是原子的，符号是。

是麻省理工学院方案的标准手册。根据您使用的方案，这可能是您想要的，也可能不是。

是麻省理工学院方案的标准手册。根据您使用的方案，这可能是您想要的，也可能不是