许多函数必须针对不同的数据类型反复编写，这可能是因为在程序开发过程中数据类型会发生变化，也可能是因为不同的数据型需要具有类似功能的函数。此类……的示例。。。

我们提出了一种将数据流分析问题划分为一系列相关子问题的简单方法。我们使用类型信息（由程序员声明或通过非标准类型推断计算）保守地近似分析-。。。