设计原则:公理系统在编程中的运用
背景
说来惭愧,高中是花钱买上的,高中虽然经过努力考试了大学,可惜小学和初中的知识学习的不扎实(当时也学不会),感觉到现在都没有开窍,前几天读《古今数学思想》,觉得数学和编程简直就是一回事,本文简单的介绍一下“公理系统在编程中的运用”,由此可以管中窥豹。
公理系统
简单来说:公理系统是一些公理的集合,这些公理是大家都公认的,不需要证明的,除此之外的推论都需要证明。
公理系统在编程中的运用
掺入(扩展方法)
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
设计原则:公理系统在编程中的运用相关推荐
- SOA 设计原则和 Web 服务中的数据传输
SOA 被翻译为面向服务架构,它应该是创建从自治服务生成系统的一个架构方法,它的目的是更方便地进行集成. SOA是Web 服务的一个自然延伸,因为Web 服务只是解决了异构系统之间的互操作,并没有降低 ...
- 【设计原则】面向对象编程的六大原则
参考文章: http://blog.csdn.net/wangjunkg/article/details/3762132 一.单一职责原则: 全称:"Single-Responsibil ...
- 数据仓库中宽表的设计原则_实际项目中交互设计原则的运用
在实际项目中设计交互行为方式的时候,我们该怎么去运用的这些交互设计原则呢? 通常我们在设计过程中,会提到设计要满足一定的交互设计原则,而对于一名交互设计师来说,原则是在设计过程中遵循的一种大众认可的, ...
- Div+CSS布局入门教程(五) 页面制作-用好border和clear 附加:1.DIV+CSS设计原则 2.DIV+CSS中标签ul ol li dl dt dd用法
这一节里面,主要就是想告诉大家如何使用好border和clear这两个属性. 首先,如果你曾用过table制作网页,你就应该知道,如果要在表格中绘制一条虚线该如何做,那需要制作一个很小的图片来填充,其 ...
- 设计原则 —— 针对接口编程而不针对实现编程
对"针对接口编程,而不是针对实现编程"的理解 应该针对接口编程 而不是针对实现编程 0. 理解 接口,定义了一堆空实现函数的接口,如下,是对其全部实现类的约束,即必须实现我(接口) ...
- 程序员应知道这十大面向对象设计原则
面向对象设计原则是OOPS编程的核心, 但我见过的大多数Java程序员热心于像Singleton (单例) . Decorator(装饰器).Observer(观察者) 等设计模式, 而没有把足够多的 ...
- 掌握这 7 个编程设计原则,想做菜鸟都难
编程的工作同石匠的工作相类似,即是技术活,也是体力活,而编写优秀的软件,算是一件比较难的事. 你写的代码好不好,其实没有一个标准能判断,即使团队的伙伴发现你的代码写得差,也不好意思有理有据地指责你,反 ...
- C# 实例解释面向对象编程中的单一职责原则
在面向对象编程中,SOLID 是五个设计原则的首字母缩写,旨在使软件设计更易于理解.灵活和可维护.这些原则是由美国软件工程师和讲师罗伯特·C·马丁(Robert Cecil Martin)提出的许多原 ...
- 大型Web前端架构设计:面向抽象编程入门
面向抽象编程,是构建一个大型系统非常重要的参考原则. 但对于许多前端同学来说,对面向抽象编程的理解说不上很深刻.大部分同学的习惯是 拿到需求单和设计稿之后就开始编写UI界面,UI里哪个按钮需要调哪些方 ...
最新文章
- java 生成正弦波声音_如何生成一个正弦波声音曲线?
- 致家长:疫情期间教育好自己的孩子,就是你最重要的事业!
- Centos7 安装 maven
- mysql procedure prepare_mysql prepare 存储过程使用
- bzoj 3209: 花神的数论题 喵哈哈村的秘境探险(四)
- 天庭最牛系统 推荐下载_围观RecSys2020 | 推荐系统顶会说了啥?(附论文打包下载)...
- maven单元测试报java.lang.IllegalStateException: Failed to load ApplicationContext
- 大数据工程师必备之蓄水池抽样算法
- http报文格式_(一)深入浅出TCPIP之理解TCP报文格式和交互流程
- eclipse的Windows builder使用。
- Python处理excel表格中的数据
- OpenCV 学习笔记-day10 图像像素的逻辑操作 (Opencv中rectangle函数与Rect函数的用法以及位相关操作)
- 并联情况下耦合回路的等效电路
- JVM 重点知识点总结
- SAP调用外围系统接口SXI_MONITOR有显示但是实际上没有调用接口的问题
- oracle asm密码是什么,ASM有自己的参数、密码、alert、监听文件
- 台湾榜首iPhone游戏创作者谈开发成败
- WSL 解决code .报‘code‘ not fount无法打开Vscode问题
- 导师为了让大弟子毕业,不得已自写论文...
- 搜苹果ipad版_iPad抠图比PC更给力 iPad版PS的自动抠图神了-iPad,PS ——快科技(驱动之家旗下媒体)-...