Safe Cross-Language Inheritance
Safe Cross-Language Inheritance
复制标题
安全的跨语言继承
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kathryn E. Gray
中科院分区：
文献类型：
--
作者：
Kathryn E. Gray
继承是重复使用和与外部库的接口的标准手段。在多语言软件产品中，扩展了用静态类型的语言编写的类，具有动态类型的类，可能需要大量的手动间接和其他容易出错的并发症。在我们以前的互操作性工作的基础上，我们引入了一种技术，该技术允许跨语言安全，简单的继承。我们演示了我们与静态型对象微积分和动态型对象微积分的跨语言继承的技术，其中静态类型的类可以扩展动态型的一个，反之亦然。我们提供了声音的证明草图，并保证由于静态表达式而不会出现动态类型错误。
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can require a significant number of manual indirections and other error-prone complications. Building on our previous interoperability work, we introduce a technique that allows safe, easy inheritance across languages. We demonstrate our technique for cross-language inheritance with a statically-typed object calculus and a dynamically-typed object calculus, where a statically-typed class can extend a dynamically-typed one and vice versa. We provide a proof sketch of soundness, as well as a guarantee that dynamic type errors do not arise due to statically-typed expressions.