編程語言功能

-4

哪些功能需要在編程語言中存在，以便它可以表示計算機可以執行的任何順序計算？如果語言是Haskell在特定的情況下會怎麼樣？編程語言功能

2016-03-24 Pan

請參見[完成度]（https://en.wikipedia.org/wiki/Turing_completeness）（我猜） - 也是對廣泛抱歉的方式 – Carsten

沒有單個固定功能，它必須*圖靈完成。命名您的功能 - 缺乏「圖靈完整性」 - 我敢打賭，我可以爲您設計一種不具備該功能的圖靈完整語言。鑑於此，命名一組必須存在的特徵似乎是無望的;並提出了對Turing完備性產生雙重影響的一系列功能的簡短描述。 –

@DanielWagner嗯，它可能取決於你的意思是「功能」。例如，如果非終止是一個功能，那麼我敢打賭，以某種方式，不存在沒有該「功能」的單個圖靈完整系統。 – Bakuriu

Haskell是圖靈完整的。

我目前的看法對結果有很高的評價，任何對「保證圖靈完備性的特徵集合」的聲音和完整描述都是無限的或者包含非終止算法;所以我相信指望你的其他問題的答案是不合理的。

2016-03-24 09:51:24

回答