Publication Details
Title: Using Value Semantic Abstractions to Guide Strongly Typed Library Design
Author: B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman
Group: ICSI Technical Reports
Date: December 1997
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1997/tr-97-061.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-97-061
Bibliographic Reference:
B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman. Using Value Semantic Abstractions to Guide Strongly Typed Library Design. ICSI Technical Report TR-97-061, December 1997
Author: B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman
Group: ICSI Technical Reports
Date: December 1997
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1997/tr-97-061.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-97-061
Bibliographic Reference:
B. Gomes, D. Stoutamire, B. Weissman, and J. Feldman. Using Value Semantic Abstractions to Guide Strongly Typed Library Design. ICSI Technical Report TR-97-061, December 1997