极道
·
抽象两种方法：上下文与类型
💡
原文中文，约1700字，阅读约需4分钟。
📝
内容提要
抽象有多种实现手段，包括中文字面意思上的抽象、类比、比喻、形象化等思维方式。研究上下文可开启形式化思考之门。类型化是形式化后最自然的抽象方法，可规范形式内功能。组合使用多种类型可解决问题。
🎯
关键要点
- 抽象的中文意思是'抽出象形'，实现手段多样，包含类比、比喻、形象化等。
- 研究上下文可以开启形式化思考之门，形式化与内容无关。
- 类型化是形式化后最自然的抽象方法，能够规范形式内的功能。
- 类型设计的有效性依赖于使用场景的前提条件，分类依据取决于数据的上下文。
- 组合使用和继承使用是两种类型使用方式，组合使用优先选择。
- 继承使用在无法认清上下文类型时，可以帮助快速解决问题。
➡️
