计划中类型的确切术语

Question

我正在寻找关于计划类型的标准文档。例如，As类型不需要在程序中明确指定，我不知道它是bool还是boolean; LIST或LISTE; int或Nat; List[]或List[alpha] ...

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

Answer 1

Here是MIT方案的标准手册。根据您使用的方案，这可能会或可能不是您要查找的内容。

Answer 2

正如你指出的那样，类型不需要明确指定。类型的概念因此在语言规范中很大程度上被忽略了。

有一些语言 - Typed Racket出现在脑海里 - 在Schema之上构建了一种类型化的语言，并且这些语言定义了它们自己的类型。

还有一些契约系统给名称的类值。再次，我可以指出Racket是一个例子，但我相信这里也有类似的系统。

没有更具体的，那么，你的问题没有一般的答案。

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