| Since I know relatively little about run-time type systems, would
| anyone point me to the relevant literature...
Go to http://www.cs.indiana.edu/scheme-repository/doc.publications.html
and you'll find lots of interesting papers, in particular:
- Gudeman. "Representing Type Information in Dynamically Typed
contains a nearly exhaustive survey of run-time type representations.
p.s. If you're not already familiar with the "big bag of pages" method,
be sure and read:
- Dybvig, Eby, and Bruggeman. "Don't Stop the BIBOP: Flexible and
Efficient Storage Management for Dynamically Typed Languages",
Indiana University, March 1994. (iucstr400.ps.gz)
Rob Warnock, 8L-855 firstname.lastname@example.org
Applied Networking http://reality.sgi.com/rpw3/
Silicon Graphics, Inc. Phone: 650-933-1673
1600 Amphitheatre Pkwy. FAX: 650-933-0511
Mountain View, CA 94043 PP-ASEL-IA