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

Jeff Bone (jbone@activerse.com)
Sat, 26 Jun 1999 17:39:02 -0500


--------------2B1C14CD6B804A6F14F32E66
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Hi, Mark! Good to hear from you.

Oops, sorry, I'm having this discussion on two entirely separate lists,
I missed giving the Abadi and Cardelli ref on the FoRK fork... yeah,
Abadi and Cardelli are key, but I'm not sure I agree with (or maybe I
just don't like ;-) their conclusions about the relationship between
object and lambda calculus, and the transformability from one to the
other. (In particular, they make the argument that transformation from
typed oop to typed object calculus and transformation from typed
,\-calculus to typed object calculus are straightforward but
transformations from typed oop to typed ,\-calculus is "very difficult
to obtain, impossible to use in actual programming." That's the holy
grail; that's "Brockian Ultra Lambda." ;-) They gave a tutorial at
OOPSLA '96, and I believe the book is circa around that time. Haven't
seen what they've been up to since then, maybe I should check. Also,
probably a prerequisite to reading Abadi and Cardelli is

Object-Oriented Type Systems, by Jens Palsberg and Michael
Schwartzbach

$0.02,

jb

--------------2B1C14CD6B804A6F14F32E66
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit

<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
 
Hi, Mark!  Good to hear from you.

Oops, sorry, I'm having this discussion on two entirely separate lists, I missed giving the Abadi and Cardelli ref on the FoRK fork...  yeah, Abadi and Cardelli are key, but I'm not sure I agree with (or maybe I just don't like ;-) their conclusions about the relationship between object and lambda calculus, and the transformability from one to the other.  (In particular, they make the argument that transformation from typed oop to typed object calculus and transformation from typed  ,\-calculus to typed object calculus are straightforward but transformations from typed oop to typed ,\-calculus is "very difficult to obtain, impossible to use in actual programming."  That's the holy grail;  that's "Brockian Ultra Lambda." ;-) They gave a tutorial at OOPSLA '96, and I believe the book is circa around that time.  Haven't seen what they've been up to since then, maybe I should check.  Also, probably a prerequisite to reading Abadi and Cardelli is

    Object-Oriented Type Systems, by Jens Palsberg and Michael Schwartzbach

$0.02,

jb
 
 
  --------------2B1C14CD6B804A6F14F32E66--