Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Types for describing coordinated data structures
Ringenburg M., Grossman D.  Types in languages design and implementation (Proceedings of the 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, California, USA,  Jan 10, 2005) 25-36. 2005. Type: Proceedings
Date Reviewed: Mar 30 2005

This paper is concerned with the idea of extending the typing system of a programming language to include the idea of sets of data structures, where corresponding nodes within the structures must coordinate. An example of a place where this idea could be useful would be in adding new fields within the context of legacy code. The paper discusses adding this in the context of programming language theory, using &lgr;-calculus. This will probably make the paper difficult to read for most individuals who do not have a background in programming language research.

The paper is divided into several sections. First, the authors describe how to implement coordinated data structures as extensions to a polymorphic typed &lgr;-calculus. Following that, they create a small programming language to demonstrate how to implement their extensions. The syntax and operational semantics are presented. The authors support a Web site in conjunction with this paper that has a downloadable interpreter (written in O’Caml) for the language created, as well as several example programs.

Initially, a subset of the final language is discussed. Next, the authors show that two existing languages, LX and guarded recursive datatypes, also support coordinated data types. Then, the authors examine how their results interact with singleton-integer types, and present the full language and an example (the code is available from the authors’ Web site).

While this paper requires a good deal of background knowledge from the reader, it is quite interesting, and worthwhile reading for people interested in programming languages.

Reviewer:  J. Miller Review #: CR131065
Bookmark and Share
Data Types And Structures (D.3.3 ... )
Would you recommend this review?
Other reviews under "Data Types And Structures": Date
 Creating good data: a guide to dataset structure and data representation
Foxwell H.,  Apress, New York, NY, 2020. 124 pp. Type: Book (978-1-484261-02-6)
Sep 2 2021
Building and using pluggable type-checkers
Dietl W., Dietzel S., Ernst M., Mulu K., Schiller T.  ICSE 2011 (Proceeding of the 33rd International Conference on Software Engineering, Waikiki, Honolulu, HI,  May 21-28, 2011) 681-690, 2011. Type: Proceedings
Jan 7 2013
Union and intersection types to support both dynamic and static typing
Ortin F., García M.  Information Processing Letters 111(6): 278-286, 2011. Type: Article
Jul 7 2011

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy