We're better at doing it than knowing what we're doing.

--《What is an abstraction?》 Eric Normand

循序渐进的过程

There are only two hard things in Computer Science:

cache invalidation and naming things.

-- Phil Karlton

《Software Complexity: The Art of Naming》

容器

组件

上下文

Contexts

有一千个读者，就有一千个哈姆雷特

命名总是上下文相关的

路由

保持一致性

Consistency

命名一致性

抽象与具体

Twitter

抽象

具象

底层(机制)

高层(业务)

易变

稳定

定义

总结

• 命名即认知
  • 如何命名某样事物反应出你当时的理解
• 分层定义 hierarchical
  • 越具体的越接近上层（易变的）
  • 越宽泛的越接近底层（不变的）
• 尽可能详细地定义
  • 因为每个人阅读同一个单词会有不一样的理解
  • code is read much more often than it is written.
• ......

软件编程的

定义与边界

明确定义是为了明确边界

边界

Boundary

红

蓝

Model

View

Controller

好

坏

一般

设定边界

边界，意味着约定/约束

• 文档约定
• 函数签名注释
• 分离关注点
• 防御式编程 (assert)
• 运行时校验层
• 职能划分
• 强类型语言静态检查

为什么要设定边界？

如何划分边界？

• 如果没有理由，就不要主动设定边界
• 如果不能理解，就按已有的约束来做，如果没有约束，就随便做

• 代码与配置
• DSL 与代码
  • 内部 DSL
  • 外部 DSL

识别边界 - 代码

代码的边界·尾递归优化

int factorial(int n, int acc) {
    if (n == 0) return acc;
    return factorial(n - 1, acc * n);
}

int factorial(int n, int acc) {
    while (true)
    {
        if (n == 0) return acc;

        acc *= n;
        n--;
    }
}

识别边界 - 代码

编译与执行

• 静态与动态
• 尾调用优化

识别边界 - 代码

函数、模块、框架、系统

• 单一职责原则
• 模块化、插件化
• OOP
• FP

• 数据与代码
  • 数据完整性校验
• 数据与行为

识别边界 - 数据

识别边界 - 数据

Homoiconicity

识别边界 - 数据

--《Separation of Concerns in ORM》
Vladimir Khorikov

识别边界 - 数据

When persistence logic leaks to domain logic

• Case #1: Dealing with object’s persistent state in a domain entity
• Case #2: Dealing with Ids
• Case #3: Segregating domain entity properties

When domain logic leaks into persistence logic

• Case #1: Cascade deletion
• Case #2: Stored procedures
• Case #3: Default database values

识别边界 - 数据

--《Separation of Concerns in ORM》
Vladimir Khorikov

Most of the leaks come from thinking not in terms of the domain, but in terms of data. Many developers perceive the application they develop just like that. For them, entities are just a storage for data they transfer from the database to UI, and ORM is just a helper that allows them not to copy this data from SQL queries to C# objects manually.

识别边界 - 数据

状态是对数据的抽象。
数据多半不能直接被用户看到（比如你不能直接返回一个timestamp给用户），而状态则更贴近业务；
数据需要是原子的（数据库第一、二范式），而状态一般涉及一条以上的数据；
数据稳定性高，状态变数多：需求变化了，不应该去操作全量数据，而是修改状态控制；
数据适合放在有持久化的地方，而状态根据数据动态算出，适合放在内存中（当然，系统大到出现集群的概念以后，状态也可能需要持久化）。

数据库存储状态，即数据

应用操作并维护状态