Soft Interfaces: Typing Scheme at the Module Level (2001)
by
Martin Gasbichler
,
Holger Gast
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Gasbichler01softinterfaces:,
author = {Martin Gasbichler and Holger Gast},
title = {Soft Interfaces: Typing Scheme at the Module Level},
year = {2001}
}
author = {Martin Gasbichler and Holger Gast},
title = {Soft Interfaces: Typing Scheme at the Module Level},
year = {2001}
}
Bookmarks
OpenURL
Abstract:
Soft Interfaces is a module system for Scheme with typed interfaces. This makes it possible to declare the types of exported procedures in a language with union types, parametric polymorphism and recursion. Soft Interfaces statically checks calls to these procedures to ensure that the arguments meet the declared types. Implementations of exported procedures are checked to have a subtype of their declared type. Unlike other systems for reconstructing types in a dynamically typed language Soft Interfaces supports abstract types including the inference of their implementation types. We have implemented Soft Interfaces within Scheme 48.
