背景

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

公理系统

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

公理系统在编程中的运用

掺入(扩展方法)

 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

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

  1. SOA 设计原则和 Web 服务中的数据传输

    SOA 被翻译为面向服务架构,它应该是创建从自治服务生成系统的一个架构方法,它的目的是更方便地进行集成. SOA是Web 服务的一个自然延伸,因为Web 服务只是解决了异构系统之间的互操作,并没有降低 ...

  2. 【设计原则】面向对象编程的六大原则

    参考文章: http://blog.csdn.net/wangjunkg/article/details/3762132   一.单一职责原则: 全称:"Single-Responsibil ...

  3. 数据仓库中宽表的设计原则_实际项目中交互设计原则的运用

    在实际项目中设计交互行为方式的时候,我们该怎么去运用的这些交互设计原则呢? 通常我们在设计过程中,会提到设计要满足一定的交互设计原则,而对于一名交互设计师来说,原则是在设计过程中遵循的一种大众认可的, ...

  4. Div+CSS布局入门教程(五) 页面制作-用好border和clear 附加:1.DIV+CSS设计原则 2.DIV+CSS中标签ul ol li dl dt dd用法

    这一节里面,主要就是想告诉大家如何使用好border和clear这两个属性. 首先,如果你曾用过table制作网页,你就应该知道,如果要在表格中绘制一条虚线该如何做,那需要制作一个很小的图片来填充,其 ...

  5. 设计原则 —— 针对接口编程而不针对实现编程

    对"针对接口编程,而不是针对实现编程"的理解 应该针对接口编程 而不是针对实现编程 0. 理解 接口,定义了一堆空实现函数的接口,如下,是对其全部实现类的约束,即必须实现我(接口) ...

  6. 程序员应知道这十大面向对象设计原则

    面向对象设计原则是OOPS编程的核心, 但我见过的大多数Java程序员热心于像Singleton (单例) . Decorator(装饰器).Observer(观察者) 等设计模式, 而没有把足够多的 ...

  7. 掌握这 7 个编程设计原则,想做菜鸟都难

    编程的工作同石匠的工作相类似,即是技术活,也是体力活,而编写优秀的软件,算是一件比较难的事. 你写的代码好不好,其实没有一个标准能判断,即使团队的伙伴发现你的代码写得差,也不好意思有理有据地指责你,反 ...

  8. C# 实例解释面向对象编程中的单一职责原则

    在面向对象编程中,SOLID 是五个设计原则的首字母缩写,旨在使软件设计更易于理解.灵活和可维护.这些原则是由美国软件工程师和讲师罗伯特·C·马丁(Robert Cecil Martin)提出的许多原 ...

  9. 大型Web前端架构设计:面向抽象编程入门

    面向抽象编程,是构建一个大型系统非常重要的参考原则. 但对于许多前端同学来说,对面向抽象编程的理解说不上很深刻.大部分同学的习惯是 拿到需求单和设计稿之后就开始编写UI界面,UI里哪个按钮需要调哪些方 ...

最新文章

  1. java 生成正弦波声音_如何生成一个正弦波声音曲线?
  2. 致家长:疫情期间教育好自己的孩子,就是你最重要的事业!
  3. Centos7 安装 maven
  4. mysql procedure prepare_mysql prepare 存储过程使用
  5. bzoj 3209: 花神的数论题 喵哈哈村的秘境探险(四)
  6. 天庭最牛系统 推荐下载_围观RecSys2020 | 推荐系统顶会说了啥?(附论文打包下载)...
  7. maven单元测试报java.lang.IllegalStateException: Failed to load ApplicationContext
  8. 大数据工程师必备之蓄水池抽样算法
  9. http报文格式_(一)深入浅出TCPIP之理解TCP报文格式和交互流程
  10. eclipse的Windows builder使用。
  11. Python处理excel表格中的数据
  12. OpenCV 学习笔记-day10 图像像素的逻辑操作 (Opencv中rectangle函数与Rect函数的用法以及位相关操作)
  13. 并联情况下耦合回路的等效电路
  14. JVM 重点知识点总结
  15. SAP调用外围系统接口SXI_MONITOR有显示但是实际上没有调用接口的问题
  16. oracle asm密码是什么,ASM有自己的参数、密码、alert、监听文件
  17. 台湾榜首iPhone游戏创作者谈开发成败
  18. WSL 解决code .报‘code‘ not fount无法打开Vscode问题
  19. 导师为了让大弟子毕业,不得已自写论文...
  20. 搜苹果ipad版_iPad抠图比PC更给力 iPad版PS的自动抠图神了-iPad,PS ——快科技(驱动之家旗下媒体)-...

热门文章

  1. IT人的理性、激情与爱情
  2. 在moss页面出错时,显示详细的错误信息.
  3. python中setup函数的用法_Vue 3 setup 函数
  4. oracle中查看用户权限
  5. DPDK KNI实现(二十五)
  6. linux内核网络协议栈--数据包的接收过程(二十二)
  7. Crypto++库在VS 2005中的使用——RSA加解密
  8. 初识WordPress数据库
  9. 解决在ueditor中上传图片通过后台java+SpringMVC添加水印方法
  10. 下载安装 Apache(Windows 64位)