Re: Scheme's Infinitely Deep Zen (was Re: Python's future bright?)

Mark Day/CAM/Lotus (
Sat, 26 Jun 1999 17:46:33 -0400

> My sort of
> "holy grail quest" ever since then has been in trying to synthesize an
> object calculus analog to Church's calculus. (The reason for this is
> that such a formalism would make it possible to produce efficient
> compilers for dynamic object-oriented languages, and would avoid lots of
> runtime messiness in generated code that often exists today.)

You didn't mention this book, so you might want to check it out if you
haven't already:

A Theory of Objects (Monographs in Computer Science)
by Martin Abadi, Luca Cardelli (Contributor)

Our Price: $44.95

Availability: This title usually ships within 2-3 days.

Hardcover (September 1996)
Springer Verlag; ISBN: 0387947752 ; Dimensions (in inches): 1.25 x 9.55 x
7.24 Sales Rank: 57,894

Martin is at Compaq (formerly Digital) Systems Research Center in Palo
Alto, Luca used to be there but is now at Microsoft Research in Cambridge
(England). I've only glanced at this book, so I can't actually recommend
it. But I'm generally very impressed by their work, so I assume it's pretty