Loading...
Please wait, while we are loading the content...
Similar Documents
Gradual typing with efficient object casts extended abstract.
| Content Provider | CiteSeerX |
|---|---|
| Author | Vitousek, Michael M. Jeremy, Adviser Siek, G. |
| Abstract | Gradual type systems meld dynamic typing with optional static types, moderating between the two with statically inserted casts. Casting is the éminence grise of such systems — it enables swift detection of type errors in dynamic code without enforcing runtime checks throughout a program, and in combination with blame tracking it allows such errors to be traced to their origin. However, such casts accumulate as data is passed between static and dynamic portions of a program, and the naïve solution of fully applying casts whenever data flows through them — and therefore creating new, casted values — is highly inefficient in both space and time. Worse, this naïve solution makes a copy of the object, which is incompatible with the semantics of imperative object-oriented languages. This problem must be solved if gradual typing is to become practical for common dynamic languages. 2. Background and related work Siek and Taha introduced gradual typing to functional languages [4] and extended it to object-oriented languages [5]. Another approach to mixed static/dynamic |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Efficient Object Cast Extended Abstract Na Ve Solution Gradual Typing Runtime Check Dynamic Portion Minence Grise Common Dynamic Language Dynamic Typing Work Siek Gradual Type System Optional Static Type Casted Value Type Error Dynamic Code Swift Detection Functional Language Mixed Static Dynamic Object-oriented Language Imperative Object-oriented Language |
| Content Type | Text |
