智能合約設計模式--COP

Design by contract solidity這門語言設計思路是什麼？ 什麼是COP？程序員 COP 面向條件的編程（COP）是面向合約編程的一個子域，做爲一種面向函數和命令式編程的混合模式。COP解決了這個問題，經過須要程序員顯示地枚舉全部的條件。邏輯變得扁平，沒有條件的狀態變化。條件片斷能夠被正確的文檔化，複用，能夠根據需求和實現來推斷。重要的是，COP在編程中把預先條件看成爲一等公民

>>阅读原文<<