透過語義合約重獲對AI生成程式碼的信任

近年來，AI輔助開發（又稱“Vibe Coding”）極大提升了編碼速度。然而，由於AI模型的決策過程不透明，我們正面臨一場根本性的信任危機——沒有人能確信AI產生的程式碼是否真正符合預期。傳統的單元測試和提示工程在AI程式碼面前顯得力不從心，因為程式碼審查的速度永遠趕不上AI生成的速度。

本文提出了一種實用解決方案：語義合約（Semantic Contracts）。語義合約是一種結構化的、可驗證的核心業務邏輯藍圖，它恰好位於原始需求和實際程式碼之間。透過使用型別化狀態、簡單組合子（combinators）以及編譯時檢查，它保證任何符合合約的實現——無論由人類還是AI編寫——都自動具備可信賴性。

為什麼傳統方法不夠？

在AI時代之前，軟體工程依靠一個高度結構化的流水線來建立信任：需求→架構→詳細設計→編碼→測試→程式碼審查→部署。每個步驟都有清晰的輸入輸出和人為負責。然而，AI打破了這一鏈條：從提示直接到程式碼，中間環節全部消失。AI的不可知行為、不可追溯的bug、不可預測的修復以及無法跟上速度的程式碼審查，共同摧毀了信任基礎。

語義合約並不試圖證明一切。相反，它專注於流程保證——透過結構化構建塊，使程式碼變得“設計正確”而非“偶然正確”。

什麼是語義合約？

一個語義合約包含三部分：簽名（輸入狀態和輸出狀態）、定義（由基本組合子構成的表示式樹）和能力（附加行為如資料庫事務、重試、限流等）。狀態是合約的關鍵——合約不丟擲隨機異常，而是返回明確的狀態，如“成功(交易ID)”或“餘額不足(可用金額)”。如果後續步驟沒有處理某個狀態，編譯器會報錯，迫使開發者或AI處理所有邊緣情況。

基本組合子包括：Seq（順序執行）、Par（並行執行）、Batch（列表批次處理）、Race（競速）、ScatterGather（分散-聚合）、Transaction（回滾）和Timed（超時）。這些組合子具有可預測的數學規則，編譯器可以輕鬆檢查流水線是否合理。

示例1：排序演算法

合約定義：先檢查列表是否已排序，若未排序則進行劃分（Partition）、並行排序兩部分，最後合併（Merge）。只要原子操作（Partition和Merge）正確，整個排序過程就由編譯器保證正確。

示例2：電商結賬

PlaceOrder合約涉及支付和庫存扣減。透過細化支付狀態（成功、餘額不足、失敗）和庫存狀態（成功、庫存不足、失敗），編譯器強制開發者處理這些狀態。後續還可以輕鬆新增通知功能——用Transaction組合子包裹核心操作，無論成功失敗都傳送通知。

核心思想：將業務邏輯提升為型別系統

傳統程式設計中，業務規則隱藏於巢狀的if/else、資料庫呼叫和異常捕獲中，無法自動證明其協調性。語義合約將“支付”轉化為一組嚴格的型別化規則：payment是一個型別，可以在任何更大的結賬系統中安全使用，編譯器即時驗證邏輯是否匹配藍圖，且任何滿足合約的實現都可以互換而不破壞系統。

如何整合？

現有程式碼庫大多沒有語義合約。文章提出信任層級：底層基礎設施（如Linux核心、TCP/IP、PostgreSQL）因其廣泛使用而被假定正確，應用層逐步採用語義合約。開發者可以從關鍵業務流程開始，逐步將現有程式碼包裝到合約中。

總之，語義合約並非AI時代的專屬工具，但它對於防止AI“幻覺”特別有效——因為合約剝離了無關細節，強制執行型別約束。如果AI生成錯誤實現，編譯器會直接拒絕構建。這為AI驅動的開發提供了一條切實可行的信任重建之路。