抽象两种方法：上下文与类型

原文约1700字，阅读约需4分钟。发表于：。

“抽象”的中文意思是“抽出象形”。奥妙就在于实现手段有很多，也是创新所在，这里比较三种手段：首先是中文字面意思上的“抽象”：抽出象形，中国文化谓之为神，例如中国水墨国画，还有古诗词：“窗前明月光疑是地上霜”，明月光和地上霜是两个有实在内容的实体，李白把它们类比在一起，起到举一反三作用，这两件事物的共同点，也就是那种白颜色的神韵跃然纸上。这是中文抽象的最高境界之一。类比比喻形象化等思维方式在这种抽象中起到关键作用。如果我们想

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