设计原则:公理系统在编程中的运用

背景

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

公理系统

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

公理系统在编程中的运用

掺入(扩展方法)

 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 }

不明觉厉的微内核

待续

 

posted on 2014-01-22 13:49  幸福框架  阅读(297)  评论(0编辑  收藏  举报

导航

我要啦免费统计