有沒有“面向契約的程式”的資源？

面向契約的程式，如 Solidity，在句法意義上類似於 OOP。例如，兩者都有封裝、抽象、繼承和多態的概念。它們也共享相似的關鍵字，並且契約似乎類似於對象。但是，它們不是。

有誰知道有關面向契約設計的任何資源？

面向契約的程式 - 也稱為按契約設計 ( DbC ) - 是一種旨在使軟體更可靠的軟體工程範例。

“按契約設計（DbC），也稱為契約程式、按契約程式和按契約設計程式，是一種設計軟體的方法。”

名稱的“契約”部分（令人困惑地）與智能合約無關。

此外，它與特定語言或特定語言類型無關，而是一種編寫程式碼的方法論和方法。

（這裡有 Gavin Wood 寫的相關的“面向條件的程式” 。同樣，這是一種方法，而不是語法或語言特徵，但那篇文章確實給出瞭如何將其應用於 Solidity 的演練。）

引用自：https://ethereum.stackexchange.com/questions/99518