面向类型编程
在软件开发领域，我们常常听到“面向对象编程”（OOP），它主要围绕业务实体及其属性、行为来组织代码。但你是否想过，还有一种思维方式，其核心关切点截然不同？
这就是“面向类型编程”。如果说面向对象编程的焦点在于“是什么”（对象及其状态），那么面向类型编程的焦点则在于“能怎样”，或者说，与函数的匹配度和契约关系更为密切。它关注的是数据结构如何满足特定函数或操作的期望，强调的是类型层面的符合与约束。
简单来说，面向对象编程与具体的业务和属性相关；而面向类型编程，则更侧重于与函数的符合性相关。这种范式转换，对于构建高可靠、易组合的系统至关重要。
转载于:https://www.cnblogs.com/feng9exe/p/9278536.html
