為何選擇 Lisp：可程式化程式語言的力量

為何選擇 Lisp：可程式化程式語言的力量

Lisp 讓程式設計師能夠依問題需求擴充語言本身

Lisp 與大多數常見程式語言根本不同，因為它允許開發者將語言本身調整至所要解決的問題。程式設計師不必把問題套入預先定義好的語法限制，Lisp 則提供一種工作流程：程式設計師先建立新的構造與抽象，讓語言向問題靠攏，然後再撰寫最終程式。

透過巨集實現語言可擴充性

Lisp 常被稱為「可程式化的程式語言」，因為它在自身內部即可擴充。這主要透過 macro 運算子實現，與 C、Rust、Swift 等語言的巨集有顯著差異。

巨集 vs. 函式

函式在執行前會先求值其參數，而 Lisp 巨集則把參數視為純資料。這使得巨集能夠產生全新的語法結構，成為語言的一部份。

舉例來說，Common Lisp 並未內建 while 迴圈。程式設計師可以使用巨集自行實作：

(defmacro while (condition &body body)
  `(loop while ,condition do
     (progn ,@body)))

因為巨集不會立即求值 condition 或 body，它可以把程式碼轉換成 loop 結構，讓編譯器再執行。若以函式實作，參數會立刻被求值，導致執行時錯誤，因為函式收到的是表達式的結果而非表達式本身。

同形性：程式碼即資料

Lisp 的威力來自 同形性（homoiconicity），即程式碼與資料使用相同的結構：列表（symbolic expressions，簡稱 s‑expression）。

  • 原子：基本資料單位（數字、字串、符號）。
  • 列表：原子或其他列表的集合。

在 Lisp 中，列表既可以被視為要評估的程式碼，也可以被視為要操作的資料。引用運算子（'）告訴直譯器把列表當作資料。這種微妙的差別讓 Lisp 程式能夠操作自己的原始碼，從而產生「寫程式的程式」。

REPL 驅動的開發與即時系統

Lisp 以即時系統的形式運作，而非一組靜態檔案的編譯與執行。此工作流程的核心是 Read‑Eval‑Print Loop（REPL）。

演化式開發流程

在傳統開發中，循環是「寫‑編譯‑執行‑除錯」。在 Lisp 中，流程是一個持續運行的程式。開發者直接在執行中的環境裡評估程式碼，隨時重新定義函式與巨集。這稱為 REPL‑驅動開發。

此方式本身即提供「熱重載」功能。因為 Lisp 程式可以持續運行數週，程式得以逐步演化。環境中重新定義的每個符號都會立即被執行中的系統採用，省去頻繁重啟或使用複雜注入工具的需求。

使用 DSL 建構可擴充軟體

語言可擴充性與即時環境的結合，使得建立 領域特定語言（DSL） 變得輕而易舉。透過撰寫封裝特定領域行為的巨集，開發者可以打造針對特定任務的迷你語言。

DSL 的實務應用

  • Web 開發：可建立巨集在伺服器端產生 HTML，讓使用者以 Lisp 完整的迴圈與變數能力撰寫視圖，無需額外的模板語言（如 Jinja 或 Liquid）。
  • 數學繪圖：可建立 DSL 定義曲線與座標點，將複雜的渲染邏輯隱藏在簡潔且具表現力的介面之下。
  • 產業案例：AutoCAD 使用 AutoLISP 進行自動化，Emacs 大部分功能亦以其自有的 Lisp 方言實作，因而得以擴充成 PDF 閱讀器、網頁瀏覽器或電子郵件客戶端。

社群觀點與批評

雖然 Lisp 因其優雅與強大受到讚譽，但在實用性與現代生態系方面仍面臨不少批評。

反對 Lisp 的論點

  • 可讀性與語法：部分開發者認為大量的括號以及某些方言缺乏傳統命名空間，會成為入門門檻或顯得過時的設計。
  • DSL 維護：批評者指出，在商業環境中 DSL 可能成為反模式，因為文件不足的自訂語言會讓新接手的維護者難以理解。
  • 工具與生態系：有人認為雖然 REPL 在許多現代語言中已普及，但 Lisp 的特定優勢常被缺乏現代並行模型或實作碎片化的生態系所抵消。

程式設計的「暗黑面」

有觀點認為程式設計存在於「光明面」（透過靜態型別與限制防止錯誤）與「暗黑面」（透過巨集與自我修改程式碼賦予程式設計師最大權力）之間的張力。Lisp 被視為終極的「暗黑面」語言，將絕對的語言控制權交給程式設計師。

摘要：Lisp 透過同形性、巨集與 REPL‑驅動開發提供獨特能力，使程式設計師能夠讓語言本身隨問題領域演化。

標題：為何選擇 Lisp：可程式化程式語言的力量

Sources