The Language

位於 https://gitlab.com/the-language/the-language

實驗性特性

• 使能否實現一個總是停機的解釋器成為未解決的數學問題
• ...

使能否實現一個總是停機的解釋器成為未解決的數學問題

• 值：頂層是類似cons null等東西的表達式。值的定義同The Little Typer一書中的定義。
• 解釋沒有值：允許解釋器解釋一部分或全部沒有值的表達式爲某種錯誤（錯誤是一種值）。要求儘量減小（這個儘量還沒被精確定義）被解釋沒有值的表達式的大小。
• 沒有值：解釋沒有值任意次以後，如果不繼續解釋沒有值，不能化簡爲任何值的表達式。含有有沒有值無法判定的情況。
• 一次解釋沒有值可以解釋任意個表達式。

可以接受的後果

• 一個表達式可能有多個合理的值。比如(letrec ([x (car y)] [y (car x)]) x)

文檔

TODO