背景

说来惭愧，高中是花钱买上的，高中虽然经过努力考试了大学，可惜小学和初中的知识学习的不扎实（当时也学不会），感觉到现在都没有开窍，前几天读《古今数学思想》，觉得数学和编程简直就是一回事，本文简单的介绍一下“公理系统在编程中的运用”，由此可以管中窥豹。

公理系统

简单来说：公理系统是一些公理的集合，这些公理是大家都公认的，不需要证明的，除此之外的推论都需要证明。

公理系统在编程中的运用

掺入（扩展方法）

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

总结

以上是生活随笔为你收集整理的设计原则：公理系统在编程中的运用的全部内容，希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错，欢迎将生活随笔推荐给好友。