Using Value Semantic Abstractions to Guide Strongly Typed Library Design

TitleUsing Value Semantic Abstractions to Guide Strongly Typed Library Design
Publication TypeTechnical Report
Year of Publication1997
AuthorsGomes, B., Stoutamire D., Weissman B., & Feldman J.
Other Numbers1123
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.

URLhttp://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