Skip to main content
×
Home
    • Aa
    • Aa

A run-time representation of scheme record types

  • ANDREW W. KEEP (a1) and R. KENT DYBVIG (a2)
Abstract
Abstract

The Revised6 Report on the Algorithmic Language Scheme added a mechanism to the Scheme programming language for creating new record types procedurally. While many programming languages support user defined, structured data types, these are usually handled syntactically, so that the compiler can make choices at compile time about the memory layout of these data types. The procedural record types in Scheme, however, can be constructed at run time, making the efficient run-time representation of record types important to ensure good run-time performance. The run-time representation used in our implementation provides an extended model for record types allowing record types to represent foreign scalar data types, e.g., machine word integers, and allows the base record type to be extended to create non-R6RS record-type systems. This article describes our run-time representation for record types, how the garbage collector handles foreign scalar data types, and includes extended record type systems both for an object-oriented programming model and a representation of foreign structured data types.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

J.-P. Briot & P. Cointe (1989) Programming with explicit metaclasses in Smalltalk-80. InConference Proceedings on Object-oriented Programming Systems, Languages, and Applications, OOPSLA '89. New York, NY, USA: ACM, pp. 419431.

C. Chambers , D. Ungar & E. Lee (1989) An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes. In Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA '89. New York, NY, USA: ACM, pp. 4970.

L. G. DeMichiel & R. P. Gabriel (1987) The common lisp object system: An overview. In: Proceedings of the European Conference on Object-Oriented Programming, ECOOP '87. London, UK, UK: Springer-Verlag, pp. 151170.

M. Sperber , R. K. Dybvig , M. Flatt , A. Van Straaten , R. Findler , & J. Matthews (2009) Revised6 report on the algorithmic language scheme. J. Funct. Program. 19 (Supplement S1), 1301.

D. Ungar & R. B. Smith (1987) Self: The power of simplicity. In Conference Proceedings on Object-oriented Programming Systems, Languages, and Applications, OOPSLA '87. New York, NY, USA: ACM, pp. 227242.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Journal of Functional Programming
  • ISSN: 0956-7968
  • EISSN: 1469-7653
  • URL: /core/journals/journal-of-functional-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 4 *
Loading metrics...

Abstract views

Total abstract views: 123 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th June 2017. This data will be updated every 24 hours.