Re: 何謂「好的」程式語言

看板PLT (程式語言與理論)作者reader (讀者)時間18年前 (2007/02/23 17:23)推噓2(2推 0噓 0→)

留言2則, 2人參與討論串3/4 (看更多)

※ 引述《PsMonkey (痞子軍團團長)》之銘言： : 這個問題其實困擾我很久... : 反正這個版開了，就先站上來當標靶 : 各位請隨意砲轟... [茶] 那我就隨便說說，充當賀板。其實一般的程式語言論戰，往往都是在說，某某狀況時 a 比 b 更好用，另一方就反擊說這個狀況可以避免、不常見、不好學、不夠快、不自由、不怎樣怎樣... 等等。這種論戰所呈現的，並不是理論層次上的比較，而是偏向程式語言特性的比較，是不同的程式語言陣營在相互叫陣。就長期而言，愈複雜的程式語言，若沒有設計失當，最終會獲得勝利，而較簡單的程式語言則會保有一定的最佳應用範圍，能存活但會逐漸失勢。 ASM vs. C, C vs. C++ 都是這個狀況。至於 C++ vs. Java 則是雙方都還在增加複雜度，不過看來 Java 是加碼得比較快，頗有勝利機會。但在這個演化過程中，若一個新程式語言突然過度加大複雜性，則可能會出現一個中間性的語言，因為較容易學習的關係，而取代這個大家沒辦法快速適應的語言，像是 Algol-68, PL/1, Ada 都是這樣失敗的。原因很簡單，就是人們持續不斷但速度緩慢的學習的結果。不過，拋開這種人類自身的學習因素，就理論而言，程式語言並不是這麼比較的。以理論來說，程式語言之間的比較，大概就是三樣： 1. 程式語言的資訊控制處理能力通常非通用程式語言的資訊控制能力會弱於通用程式語言，而處理能力卻不會高於通用程式語言輔以程式庫，這就是通用程式語言之所以是通用的程式語言的原因。這在處理多媒體檔案格式時會相當明顯，不能單靠內建語言機制和標準的程式庫就能處理非內建支援的多媒體檔案的時候，大概就可以區別非通用程式語言了。 2. 程式語言所提供的抽象化機制抽象化是相當難說明的東西，用比較簡單的話來說，能夠不依靠記憶體的資訊、不依靠特定識別字就能做出相應變化的程度，就是抽象化的程度。型別處理是其中最主要的抽象化機制，因此有許多的程式語言理論，都在討論型別的問題，像 C 有型別系統，卻沒有抽象型別，所以抽象化能力就比不上 C++. C++ 在這方面的優勢，可說是主流的通用程式語言中最為強大的，它可以支援 template metaprogramming, generative programming 之類的高階程式設計方法，至於 Java 在這方面就顯得蒼白無力。 3. 程式語言所特設的自動化機制這是最容易被誤解的事情，例如 GC 是程式語言有沒有內建支援的問題，不是程式語言的自動化機制差異，例如 C++ 如果需要 GC 的話，就可以使用 libgc 程式庫，或是自行實作也不會很難。像是例外處理 (exception handling), object destructor 才是這類的自動化機制，若程式語言不提供的話，就很難自行實作。這種程式語言的比較，是比較理論意義上的程式語言能力的比較。但未必能力比較強的程式語言，就一定在使用上比較「好」，否則新的程式語言免不了就會比較強，像是 Objective Caml, Scala 這類的新程式語言，在程式語言能力上顯然比 C++, Java 來得強，若不考慮編譯程式問題，甚至像 Python, Ruby 也比 C++ 強，但到目前為止，都未必足夠實用。而若要論實用性，及考慮學習的因素，在程式語言的能力之外，最重要的關鍵則可能是 C 語法相容性，無論過去或可預見的未來，不能與 C 語法相容的程式語言，就沒有機會成為主流程式語言，或是被 C 語法的相似程式語言取代。 : 先把「語言」的範圍排除像 HTML, XML 那種描述性語言 : 也跳過 SQL 這種... 我不知道怎麼歸類的語言 : 然後，為了簡單起見，也跳過 web 開發語言 : （像 JSP、PHP、JavaScript、ActionScript） : 就只講最傳統定義的語言應該講通用程式語言 (general purpose programming language), 專指可廣泛應用於所有程式設計需求的程式語言。我寫的很浮泛，但本來許多主流程式語言之間的差別就沒有那麼大，若是硬要比較差不多的程式語言，例如 C++ 和 Java, 我想只是個人偏好問題比較多，根本就吵不完。效率爭論也是，那根本就是一翻兩瞪眼的明白事情，就老是有人會想要用哪種程式語言比較容易寫得好，造成效率如何如何來爭論。簡直是把專業軟體工程師當成菜鳥、小白來比較。像 GC 重不重要，跟它是否變成程式語言內建的功能，相關性並不大，那主要是程式語言的設計哲學和使用者偏好問題，搞得像是天大地大的問題一樣，實在沒有意義。至於 godfat 所提及的 D 語言問題，它先把規格好好穩定下來再說吧。還有它的編譯程式一直不能支援 64-bit 系統，像我的主機是 AMD64 的 FreeBSD, 就沒辦法使用，這種狀況就不必談它是什麼樣的語言了。 -- ※ 編輯: reader 來自: 61.222.173.26 (02/23 18:33)