板桥里人banq
联系：
- 163邮箱： BanQ
163.com - Github
简介：
- 2004年出版：《Java实用系统开发指南》
- 创建自己的开源项目：Jdon框架和本站开源JiveJdon
- 2010年以后研究DDD领域驱动设计：DDD建模开发演示视频
- 2020年出版：《复杂软件设计之道：领域驱动设计全面解析与实战》
- 2021年自创的 “三体”建模法：
- 最新感悟：Content与Context一字之差暗藏惊天极道
Thinking in Context：
《逻辑》三要点：内容与形式
- 悖论：罗素悖论
- 类型：类型解决了悖论，类型避免了自指矛盾。（量化、分类、物以类分、class、集合等）
- 形式：类型只是一种形式。（抽象两种方法：上下文与类型）
《逻辑之道》
- 内容与形式分离 ==> 形式逻辑
- 上下文Context是内容与形式的交界处
- 语文（内容）、数学（形式）、编程语言（形式）都属于语言，语言=符号
- 辩证法、语文是内容逻辑，数学和计算机语言是形式逻辑
