Design duality and the expression problem (2018)
4 months ago
- #programming
- #abstraction
- #design
- 抽象设计的根本权衡在于功能与属性之间，人类普遍倾向于追求功能强大，尽管属性往往更为重要。
- 设计上下文至关重要，特别是要区分系统边界（外部用户不可破坏）与内部环境（错误可后续修正）的差异。
- 编程语言常常未能清晰区分对象与数据，从而导致设计局限性。
- '表达式问题'揭示了在表现形式（对象/数据）和操作两方面实现可扩展性的挑战，需要在推理逻辑与组织架构之间作出权衡。
- 类型系统的三大基础设计选择：数据类型（可扩展函数）、对象类型（可扩展实现）、抽象数据类型（用户不可扩展但为作者提供未来验证性）。
- 现实编程需要突破语言限制来选择最合适的设计，有时需为实践性妥协理想方案。