[Grace-core] Multiple inheritance & module inheritance

[Andrew P Black]

On 16 Mar 2015, at 14:36 , Kim Bruce <kim at cs.pomona.edu> wrote:

> My book refers to these things as ClassType’s and they behave very different from object types (as you observe).  I’ve been working to try to avoid writing down the ClassTypes as programmers will hate writing them down.  The whole idea of statically determinable types (at least in my mind) was to have a system so transparent that the ClassTypes could easily be inferred by the system.
> 

I think that class-types can and should be inferred.  The programmer doesn't write them — the compiler writes them.  Then other code that inherits from that class then knows about the internal structure of the class that it is inheriting.

	Andrew