2017-03-16 78 views

回答

0

您已標記此問題這應該給您一個提示:正式語言是數學抽象,而解釋器和編譯器是令人沮喪的具體。

因此,它或多或少地要求皮亞諾公理和貨幣之間的關係。可以這麼說,一個數字的正式模型中沒有任何東西可以告訴你它是否使得美分。

在實踐層面上,如果語言有什麼石灰的eval原始的,你可以合理地確信它包括一個解釋,當然解釋可能包括編譯的代碼來進行評估,然後運行產生的代碼。與正式的數學模型不同,現實世界充滿了抽象漏洞。