高階語言 (High-Level Language)

什麼是高階語言？

高階語言是相對於組合語言而言的程式語言，它使用更接近人類自然語法的表達方式，讓程式設計師無需直接處理暫存器配置、記憶體位址等硬體細節。高階語言的產生是計算機科學中最重要的抽象之一，它使得軟體開發從少數專家才能掌握的技藝，轉變為大規模工業化的工程實踐。

發展歷程

機器語言與組合語言時代

最早的程式直接以二進制機器碼撰寫，每條指令對應 CPU 能直接執行的操作。組合語言的出現以助記符號替代二進制碼，但與特定 CPU 架構緊密耦合。這成為高階語言產生的根本驅動力。

高階語言的誕生（1950s）

• FORTRAN（1957）：John Backus 在 IBM 開發的科學計算語言，第一個成功的高階語言
• LISP（1958）：John McCarthy 發明的函數式語言，引入閉包、垃圾回收等概念
• COBOL（1959）：面向商業資料處理的語言

結構化與物件導向時代（1970s-1990s）

• C語言（1972）：Dennis Ritchie 開發，結合高階語言可移植性與組合語言效率
• C++（1985）：Bjarne Stroustrup 在 C 基礎上引入物件導向
• Java（1995）：以虛擬機器實現「寫一次，處處執行」
• Python（1991）：以簡潔易學著稱的動態語言

現代語言百花齊放（2000s-至今）

• Go：Google 開發，內建並行支援
• Rust：Mozilla 開發，記憶體安全無 GC
• Haskell：純函數式語言
• Prolog：邏輯式語言
• Zig：現代系統程式語言

依執行方式分類

編譯型語言

程式執行前由編譯器完整翻譯為機器碼。代表：C/C++（GCC/Clang）、Rust（rustc）、Go（gc）。優勢是執行效率極佳，適合效能關鍵場景。

直譯型語言

執行時由直譯器逐行翻譯並執行。優勢是開發效率高、跨平臺性強。代表：Python、JavaScript、Ruby。

位元組碼語言

先編譯為平臺無關的位元組碼，再由虛擬機執行。代表：Java（JVM）、C#（.NET CLR）。

依型別系統分類

• 靜態定型：編譯時確定型別，及早發現錯誤，如 C、C++、Java、Rust
• 動態定型：執行時才確定型別，語法簡潔彈性高，如 Python、JavaScript

依程式設計範式分類

• 程序式：以程序/函數為基本組織單位，如 C、Pascal
• 物件導向：封裝、繼承、多型，如 C++、Java、Python
• 函數式：不可變性、高階函數，如 Haskell、LISP、Scheme
• 邏輯式：以邏輯推論為基礎，如 Prolog

記憶體管理策略

相關連結

• 回到系統程式 index
• 回到入口
• 原始 Wiki 文章
• 編譯器
• C語言
• Rust