8 months ago
- 表达式问题是软件设计中的一个基础性问题，指在现有系统中难以同时新增数据类型和操作而不修改已有代码。
- 面向对象编程(OOP)便于添加新类型但难以添加新操作，因为新增操作需要修改现有接口和类。
- 函数式编程(FP)便于添加新操作但难以添加新类型，因为新增类型需要修改现有函数来处理新类型。
- OOP中的访问者模式可以'翻转'这个问题——通过将计算延迟到访问者类，使得添加操作变容易但添加类型变困难。
- Clojure的多重方法和协议提供了优雅解决方案，允许在不修改现有代码的情况下独立扩展类型和操作。
- Clojure协议支持动态添加新操作(协议)和新类型(记录)，通过保持接口最小化和可扩展性来解决表达式问题。
- Clojure等语言中的多重分派和开放方法允许在类型外部定义方法，无需修改源代码即可灵活扩展。
- 表达式问题揭示了OOP与FP之间的权衡，强调需要同时支持可扩展性和可维护性的语言特性。