Using Value Semantic Abstractions to Guide Strongly Typed Library Design
Title | Using Value Semantic Abstractions to Guide Strongly Typed Library Design |
Publication Type | Technical Report |
Year of Publication | 1997 |
Authors | Gomes, B., Stoutamire D., Weissman B., & Feldman J. |
Other Numbers | 1123 |
Abstract | This report addresses typing problems that arise when modelling simple mathematical entities in strongly typed languages such as Sather, which are eliminated by a proper distinction between mutable and immutable abstractions. We discuss the reasons why our intuition leads us astray, and provide a solution using statically type-safe specialization through constrained overloading. We also discuss the type relationships between mutable and immutable classes and the notion of freezing objects. |
URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1997/tr-97-061.pdf |
Bibliographic Notes | ICSI Technical Report TR-97-061 |
Abbreviated Authors | B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman |
ICSI Publication Type | Technical Report |