Retrieving re-usable software components by polymorphic type
Retrieving re-usable software components by polymorphic type
复制标题
通过多态类型检索可重用的软件组件
DOI：
10.1145/99370.99383
复制
发表时间：
1989
影响因子：
1.1
通讯作者：
I. Toyn
中科院分区：
文献类型：
--
作者：
C. Runciman;I. Toyn
摘要多态类型是对库中定义的组件和部分编写程序中自由变量的上下文进行分类的标签。建议通过提供一种系统来帮助程序员更好地利用软件库，该系统在给定（B）的情况下，识别来自（a）的具有匹配类型的候选者。假设在第一，匹配手段统一（即有一个共同的实例），实现这样一个检索系统的有效途径进行了讨论，其可能的有效性的基础上，目前可用的图书馆的定量研究表明。然后介绍了类型之间的应用实例关系，它捕捉了一些关于泛化/特化的直觉，并讨论了它作为一个更灵活的系统的基础。
Abstract Polymorphic types are labels classifying both (a) defined components in a library and (b) contexts of free variables in partially written programs. It is proposed to help programmers make better use of software libraries by providing a system that, given (b), identifies candidates from (a) with matching types. Assuming at first that matching means unifying (i.e. having a common instance), efficient ways of implementing such a retrieval system are discussed and its likely effectiveness based on a quantitative study of currently available libraries is indicated. The applicative instance relation between types, which captures some intuitions about generalization/specialization is then introduced, and its use as the basis of a more flexible system is discussed.