编写没有泛型的ADT规格是有可能的,但这是以可能不正确的重复为代价的。
事实上,为了通用性,并不要求分析器一定要返回匹配对象。
泛形帮助而且解决了类型变化的议题。
条款6:泛型之味道,第二部分:足够泛型了?
面向对象系统开发中的泛化与泛型分析
对比于先前给出的重载定义,定义泛型是有趣的