Name
Abstract | ||
|---|---|---|
Dynamically typed languages trade flexibility and ease of use for safety, while statically typed languages prioritize the early detection of bugs, and provide a better framework for structure large programs. The idea of optional typing is to combine the two approaches in the same language: the programmer can begin development with dynamic types, and migrate to static types as the program matures. The challenge is designing a type system that feels natural to the programmer that is used to programming in a dynamic language. This paper presents the initial design of Typed Lua, an optionally-typed extension of the Lua scripting language. Lua is an imperative scripting language with first class functions and lightweight metaprogramming mechanisms. The design of Typed Lua's type system has a novel combination of features that preserves some of the idioms that Lua programmers are used to, while bringing static type safety to them. We show how the major features of the type system type these idioms with some examples, and discuss some of the design issues we faced. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2617548.2617553 | Dyla@PLDI |
Field | DocType | Citations |
Metaprogramming,Type system,Programmer,Programming language,First-class function,Computer science,Type safety,Duck typing,Gradual typing,Scripting language | Conference | 8 |
PageRank | References | Authors |
0.49 | 17 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| André Murbach Maidl | 1 | 17 | 3.10 |
| Fabio Mascarenhas | 2 | 10 | 1.55 |
| Roberto Ierusalimschy | 3 | 463 | 54.25 |