[Grace-core] Question from Phil Wadler

[Andrew P. Black]

Phil Wadler asked me today:

> Why isn't Grace based on the Abadi-Cardelli calculus?  -- P

The truth is, I haven't looked at the A-C calculus for such a long time, that I don't remember.  IIRC, it's an object calculus, which treaties classes as derived rather than primary entities, so to that degree, we are similar.  How they handle inheritance and initialization of mutable objects, I don't recall.

	Andrew