抽象有多种实现手段，包括中文字面意思上的抽象、类比、比喻、形象化等思维方式。研究上下文可开启形式化思考之门。类型化是形式化后最自然的抽象方法，可规范形式内功能。组合使用多种类型可解决问题。