1樓：Qian Chen
額，確實不需要啊。記得資料庫的第一課就說了SQL不是圖靈完備的啊。
只不過要達到圖靈完備太容易了，比如有無限個格仔的算盤就是圖靈完全的。。。
2樓：hhhhhhhhh
我覺得是不需要程式語言是圖靈完備的。
就我現在的了解來說，現實生活中的問題需要的程式要不然是停機的，要不然是無限重複某停機程式的（比如 read eval loop，會不斷的重複輸入和求值這倆操作，這兩個操作都是停機的。作業系統也是乙個道理）
這樣的話，並不需要語言是圖靈完備的。
但是，判斷乙個程式會不會停機實在是太難了。除非是在 dependent type language 中要保證 type check 停機，否則判斷是否停機對編譯器來說並不重要。
就算在 dependent type language 中，像 idris 還是需要手動標識乙個函式是 total 的，就是因為函式的停機是不可能判斷的。
所以普通非 dependent type 語言乾脆寫成圖靈完備，又沒啥壞處。還方便一些
3樓：最後的豌豆
因為圖靈不完備的系統編寫程式很複雜，也沒有高效的實現。
如果乙個語言不是圖靈完備，意味著這個語言沒有general recursion，無法定義遞迴函式。語言要提供自己的迴圈結構，編寫一般的程式將十分複雜。
為什麼我們不發展漢化的程式語言？
因為英文本母只有26個，如果算上大寫也就只有52個。漢字不能像這樣用有限的單字通過組合構成所有字。能考慮的只有筆畫？還是偏旁？或者像漢字字型編碼一樣？不是這個領域的，並不清楚。不過好像有些字型 比如思源宋體 有可以打出biangbiang面的biang字的方法，或許可以借鑑。 comvir lop ...
為什麼總有程式語言之爭？
Mimosa 語言之爭本身是很正常的事，但是問題在於很多參與爭論的人不能直面各種問題，有些人對程式語言的認同程度達到信仰的地步，容不得別人提問題 提缺點。相信很多人提問題，並不是要全面否定語言本身 而是就事論事，比較全面認識程式語言，揚長補短，方便更好的使用，當然，有時候也有恨鐵不成鋼的成分。很多程...
程式語言為什麼有變數型別這個概念？
劉志軍 並不是所有語言的變數都有型別啊 python中的 變數 嚴格來說是name 是沒有型別這一說的。例如 a 1 b hello c 1,2 3 a,b,c 3個變數都是沒有型別的，真正有型別的是後面那個值，1 是整數型別，hello 是字串型別，1,2,3 是列表型別。其實python中的 變...