背景

說來慚愧，高中是花錢買上的，高中雖然經過努力考試了大學，可惜小學和初中的知識學習的不扎實（當時也學不會），感覺到現在都沒有開竅，前幾天讀《古今數學思想》，覺得數學和編程簡直就是一回事，本文簡單的介紹一下“公理系統在編程中的運用”，由此可以管中窺豹。

公理系統

簡單來說：公理系統是一些公理的集合，這些公理是大家都公認的，不需要證明的，除此之外的推論都需要證明。

公理系統在編程中的運用

摻入（擴展方法）

1 class 公理系統 2 { 3 public void 公理A(){} 4 public void 公理B(){} 5 } 6 7 static class 推論 8 { 9 public static void 推論A(this 公理系統 that){} 10 public static void 推論B(this 公理系統 that){} 11 }

插件系統

1 class 宿主 2 { 3 public void 執行() 4 { 5 執行配置的插件(宿主接口); 6 } 7 } 8 9 class 插件A 10 { 11 public void 執行(宿主接口 公理){} 12 }

不明覺厲的微內核

待續

?

轉載于:https://www.cnblogs.com/happyframework/p/3533249.html

總結

以上是生活随笔為你收集整理的设计原则：公理系统在编程中的运用的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。