Space-efficient gradual typing |
| |
Authors: | David Herman Aaron Tomb Cormac Flanagan |
| |
Affiliation: | 1.Mozilla Research,Mountain View,USA;2.Computer Science Department, School of Engineering,University of California at Santa Cruz,Santa Cruz,USA |
| |
Abstract: | Gradual type systems offer a smooth continuum between static and dynamic typing by permitting the free mixture of typed and
untyped code. The runtime systems for these languages, and other languages with hybrid type checking, typically enforce function
types by dynamically generating function proxies. This approach can result in unbounded growth in the number of proxies, however,
which drastically impacts space efficiency and destroys tail recursion. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|