【24h】

Integrating typed and untyped code in a scripting language

机译:以脚本语言集成类型化和非类型化代码

获取原文
获取原文并翻译 | 示例
       

摘要

Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and performance in the long run. We present an approach for integrating untyped code and typed code in the same system to allow an initial prototype to smoothly evolve into an efficient and robust program.We introduce like types, a novel intermediate point between dynamic and static typing. Occurrences of like types variables are checked statically within their scope but, as they may be bound to dynamic values, their usage is checked dynamically. Thus like types provide some of the benefits of static typing without decreasing the expressiveness of the language. We provide a formal account of like types in a core object calculus and evaluate their applicability in the context of a new scripting language.
机译:许多大型软件系统都源自无类型的脚本语言代码。虽然对初始开发有利,但从长远来看,缺少静态类型注释会影响代码质量和性能。我们提出了一种在同一系统中集成未类型化代码和类型化代码的方法,以使初始原型能够平稳地演变为高效且健壮的程序。类似类型变量的出现会在其范围内进行静态检查,但由于它们可能绑定到动态值,因此会动态检查其用法。因此,相似类型在不降低语言表达能力的情况下提供了静态类型化的一些好处。我们在核心对象演算中提供了类似类型的正式说明,并在新的脚本语言的上下文中评估了它们的适用性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号