[Grace-core] Extending types (Was Re: Type syntax)

[James Noble]

On 8/02/2014, at 14:27 PM, Kim Bruce <kim at cs.pomona.edu> wrote:

> As I believe Michael would likely argue, this is a matter of choosing the right pluggable type system (and hence dialect) for use in this circumstance

I'm not sure what he'd say about this, but although the static types can be pluggable, the dynamic types can't really be.  

If a method is declared with SelfType as a parameter type (particularly) the language / VM needs to do the Right Thing.

James