Fine-grained interoperability through mirrors and contracts

Gray, Kathryn E.; Findler, Robert Bruce; Flatt, Matthew

doi:10.1145/1103845.1094830

Cited by 21 publications

(25 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Cecil [8] and the Bigloo variant of Scheme [24] allow optional type annotations, but do not encode runtime checks between static and dynamic code. Gray et al [13] extended Java with contracts to allow interoperability with Scheme.…”

Section: Related Workmentioning

confidence: 99%

Design and evaluation of gradual typing for python

et al. 2014

View full text Add to dashboard Cite

Combining static and dynamic typing within the same language offers clear benefits to programmers. It provides dynamic typing in situations that require rapid prototyping, heterogeneous data structures, and reflection, while supporting static typing when safety, modularity, and efficiency are primary concerns. Siek and Taha (2006) introduced an approach to combining static and dynamic typing in a fine-grained manner through the notion of type consistency in the static semantics and run-time casts in the dynamic semantics. However, many open questions remain regarding the semantics of gradually typed languages.In this paper we present Reticulated Python, a system for experimenting with gradual-typed dialects of Python. The dialects are syntactically identical to Python 3 but give static and dynamic semantics to the type annotations already present in Python 3. Reticulated Python consists of a typechecker and a source-to-source translator from Reticulated Python to Python 3. Using Reticulated Python, we evaluate a gradual type system and three approaches to the dynamic semantics of mutable objects: the traditional semantics based on Siek and Taha (2007) and Herman et al. (2007) and two new designs. We evaluate these designs in the context of several third-party Python programs.

show abstract

Section: Related Workmentioning

confidence: 99%

Design and evaluation of gradual typing for python

et al. 2014

View full text Add to dashboard Cite

show abstract

“…Virtual values are motivated by the rich proliferation of research on various kinds of wrappers and proxies, including higher-order contracts [6,5], language interoperation via proxies [12], and hybrid and gradual typing [23,7] and space-efficient gradual typing [24]. We conjecture that virtual values may allow some of this research to be performed by experimenting within a language with virtual values, rather than by designing new languages and implementations.…”

Section: Future Workmentioning

confidence: 99%

Virtual values for language extension

Austin

Disney

Flanagan

2011

Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications

View full text Add to dashboard Cite

This paper focuses on extensibility, the ability of a programmer using a particular language to extend the expressiveness of that language. This paper explores how to provide an interesting notion of extensibility by virtualizing the interface between code and data. A virtual value is a special value that supports behavioral intercession. When a primitive operation is applied to a virtual value, it invokes a trap on that virtual value. A virtual value contains multiple traps, each of which is a user-defined function that describes how that operation should behave on that value. This paper formalizes the semantics of virtual values, and shows how they enable the definition of a variety of language extensions, including additional numeric types; delayed evaluation; taint tracking; contracts; revokable membranes; and units of measure. We report on our experience implementing virtual values for Javascript within an extension for the Firefox browser.

show abstract

“…Evaluating the performance impact of blame tracking and its practical impact on the ability to debug gradually typed programs has not yet been investigated. We use the term gradual typing to refer to a family of approaches that includes hybrid typing [15] and that have their roots in a contract-based approach of [14,18].…”

Section: Background and Motivating Examplementioning

confidence: 99%

Integrating typed and untyped code in a scripting language

et al. 2010

View full text Add to dashboard Cite

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.

show abstract

Fine-grained interoperability through mirrors and contracts

Cited by 21 publications

References 21 publications

Design and evaluation of gradual typing for python

Design and evaluation of gradual typing for python

Virtual values for language extension

Integrating typed and untyped code in a scripting language

Contact Info

Product

Resources

About