提出「可讀軟件」模型以提升程式碼品質

MIT嘅研究員Eagon Meng同Daniel Jackson提出咗一個新嘅軟件模型，目的係解決現代軟件嘅「唔可讀」問題，即係程式碼同觀察到嘅行為之間冇直接對應。
呢個模型強調軟件要具備增量性、完整性同透明性，嚟應對大型語言模型（LLM）喺程式開發入面嘅挑戰，例如LLM改程式碼時好難控制模組，又確保舊功能唔會壞咗。
研究員建議將系統拆解成「概念」（concepts），呢啲概念係面向用戶嘅功能單位，有明確目的同提供可辨識價值，好似社交媒體app入面嘅「貼文」、「評論」、「好友」咁。
概念要結構化應用程式嘅底層實現，類似微服務但避免互相依賴導致複雜連接，只依賴低層服務如資料庫或網絡服務。
應用層負責協調概念，透過「同步」（synchronizations）明確定義概念間互動，好似合約咁可以分析、驗證同由LLM生成。
呢個方法可以超越唔可預測嘅「氛圍編程」（vibe coding），支援分散式實現，又建立經過測試嘅領域特定概念目錄，畀人類同AI程式員用。更多