我正在寻找关于Scheme类型的标准文档.例如,As类型不需要在程序中明确指定,我不知道它是bool或boolean; LIST或LISTE; int或Nat; List[]还是List[alpha]......
另一个小问题是如何定义"原子表达".例如,是'(1 2 3)一个原子表达式？
正如您所指出的,不需要明确指定类型.因此,语言规范很大程度上缺少类型的概念.
有一些语言 - 想到了Typed Racket - 在(以前是)Scheme之上构建了一种类型语言,这些语言定义了它们自己的类型.
还有合同系统为值类提供名称.同样,我可以指出Racket作为一个例子,但我相信有类似的系统.
那么,没有更具体的问题,你的问题没有一般的答案.
术语"原子"通常用于表示不是"复合数据"的值; 也就是说,不包含其他值的值.列表绝对不是原子的,符号是.
| 归档时间： |
|
| 查看次数： |
76 次 |
| 最近记录： |