关于软件可塑性与可空和非可空参数声明的一些测量
摘要：使用编程语言类型系统中的空能力声明的常见优点是它们提高了程序的可靠性或性能。但是这还有另一个完全不同的原因。在正确的上下文中，这些信息使我们生产的软件构件，即对象和方法，能够展示出更大的可塑性。对于声明性类型的语言，我们可以通过扩展方法调用模型来获得更大的软件可塑性，以便通过任何非空参数来确定方法是否可用，而不仅仅是目标参数，并允许方法的实现存在于目标之外的类或对象中。 本文通过研究现有软件中存在多个非空参数的方法的程度来考察软件可塑性的这种假设性改进与现有编程实践是否一致。这种情况经常发生，足以成为引入空能力声明到编程语言中的重要原因。
作者：William Harrison, Tim Walsh, Paul Biggar
论文ID：1108.4816
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-08-25