數百萬行 Haskell 程式碼：Mercury 的正式環境工程實踐

背景

本文源自金融科技公司 Mercury 的工程實踐分享，探討該公司如何利用超過兩百萬行的 Haskell 程式碼，支撐起每年數千億美元的交易規模。作者強調 Haskell 不僅是追求優雅的學術語言，在面對高速成長的工程團隊與嚴苛的金融監管環境時，其強大的型別系統能有效轉化為生產力與系統的適應能力。

社群觀點

針對 Mercury 的成功案例，Hacker News 社群展開了多方面的討論。支持者認為 Mercury 的成功並非偶然，而是早期領導層對 Haskell 的深刻理解與工程文化結合的產物。有用戶指出，在當前流行「氛圍編程」（vibe coding）與過度依賴大型語言模型的時代，Mercury 堅持使用函數式編程語言的決定顯得極具前瞻性。這種選擇不僅提升了開發效率，更在處理如矽谷銀行危機等突發性金融波動時，展現了系統極高的穩定性與韌性。

然而，關於 Haskell 在業界的普及性與招聘門檻，社群中存在不少務實的辯論。部分開發者擔憂 Haskell 的職位稀缺，若職涯早期未切入該領域，後續轉職難度極高。對此，負責招聘的資深工程師提出了不同看法，他們反而更傾向於雇用具備豐富實作經驗、後期才轉向 Haskell 的開發者，而非僅在學術層面鑽研 Haskell 卻缺乏交付成果紀錄的人。這反映出企業在選才時，更看重開發者是否能理解 Haskell 在解決現實問題上的風險與收益，而非單純追求語法上的純粹。

對於兩百萬行程式碼的龐大規模，部分留言者感到驚訝，並質疑 Haskell 這種以簡潔著稱的語言為何會產生如此龐大的代碼量。社群成員分析指出，這與 Mercury 追求「建構即具備可觀測性」的原則有關。為了確保系統的每一處環節都能被追蹤與測試，Mercury 傾向於自行撰寫第三方服務的綁定（bindings），而非直接套用外部套件，這種為了可靠性而進行的重複造輪子，雖然增加了代碼量，卻換取了對系統行為的絕對掌控。

此外，技術細節上的挑戰也是討論焦點。儘管 Haskell 在邏輯表達與型別安全上表現優異，但其編譯速度緩慢、靜態連結困難以及跨平台編譯（如從 Mac 開發環境部署至 Linux 伺服器）的複雜度，仍是開發者心中的痛點。相比之下，Go 語言在部署與編譯效率上的優勢，讓部分開發者感嘆 Haskell 雖然美麗且高效，但在基礎設施的易用性上仍有進步空間。最後，社群普遍認同將業務邏輯編碼進型別系統（如區分已登入用戶與已授權用戶）是極具價值的實踐，這種模式在 Rust 或 TypeScript 中也同樣適用，是提升軟體品質的關鍵手段。

延伸閱讀

• 關於 Haskell 編譯速度與 Docker 部署挑戰的相關討論：https://news.ycombinator.com/item?id=47957624#47972671