計劃中類型的確切術語

Question

我正在尋找關於計劃類型的標準文檔。例如，As類型不需要在程序中明確指定，我不知道它是bool還是boolean; LIST或LISTE; int或Nat; List[]或List[alpha] ...

另一個小問題是如何定義「原子表達式」。例如，'(1 2 3)是一個原子表達式？

Answer 1

Here是MIT方案的標準手冊。根據您使用的方案，這可能會或可能不是您要查找的內容。

Answer 2

正如你指出的那樣，類型不需要明確指定。類型的概念因此在語言規範中很大程度上被忽略了。

有一些語言 - Typed Racket出現在腦海裏 - 在Schema之上構建了一種類型化的語言，並且這些語言定義了它們自己的類型。

還有一些契約系統給名稱的類值。再次，我可以指出Racket是一個例子，但我相信這裏也有類似的系統。

沒有更具體的，那麼，你的問題沒有一般的答案。

術語「原子」通常用於指代不是「複合數據」的值;即不包含其他值的值。一個列表絕對不是原子的，而是一個符號。