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

背景

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

公理系统

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

公理系统在编程中的运用

掺入（扩展方法）

class 公理系统
{
   public void 公理A(){}
   public void 公理B(){}
}

static class 推论
{
   public static void 推论A(this 公理系统 that){}
   public static void 推论B(this 公理系统 that){}
}

插件系统

class 宿主
{
    public void 执行()
   {
        执行配置的插件(宿主接口);
   }
}

class 插件A
{
    public void 执行(宿主接口 公理){}
}

不明觉厉的微内核

待续