types - Scheme 中类型的确切术语

Question

我正在寻找有关 Scheme 类型的标准文档。例如，由于不需要在程序中显式指定类型，所以我不知道它是 bool 还是 boolean； LIST 或 LIST； int 或 Nat； List[] 或 List[alpha]...

另一个小问题是“原子表达式”是如何定义的。例如，'(1 2 3) 是原子表达式吗？

Answer 1

正如您所指出的，不需要明确指定类型。因此，语言规范中很大程度上缺少类型的概念。

有一些语言——我想到了 Typed Racket——在(过去的)Scheme 之上构建了一种类型化语言，并且这些语言定义了它们自己的类型。

还有一些契约(Contract)系统可以为值的类别命名。同样，我可以以 Racket 为例，但我相信那里有类似的系统。

如果没有更具体的说明，那么您的问题就没有一般性的答案。

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