Sciweavers

Share
POPL
2010
ACM

Integrating Typed and Untyped Code in a Scripting Language

10 years 5 months ago
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. Categories and Subject Descriptors D Software [D.3 Programming Languages]: D.3.1 Formal Definitions and Theory Ge...
Francesco Zappa Nardelli, Jan Vitek, Johan Ös
Added 01 Mar 2010
Updated 02 Mar 2010
Type Conference
Year 2010
Where POPL
Authors Francesco Zappa Nardelli, Jan Vitek, Johan Östlund, Sylvain Lebresne, Tobias Wrigstad
Comments (0)
books