Soda：一種用於規範以人為本問題的面向對象函數式程式語言

Soda 是一種新的描述性程式語言，旨在以對人類友好的方式對 AI 系統的要求進行建模，並利用類型、不變性和函數式程式設計原則來增強清晰度和可驗證性。