[Grace-core] Fwd: [important] Traits

[James Noble]

On 12/03/2013, at 16:49 PM, Timothy Jones wrote:

> Sooooo... are traits basically exactly what I suggested with the constructor keyword, except with a different name? (Although you have to use the keyword 'object' if you want to invoke it in normal code, which is a slight difference)

I don't remember that proposal

> This is basically just class inheritance?

very much so.
the real question is how first-class are classes/trait expressions?

I increasingly think there are only two sensible options - "not at all" and "completely" 
(presumably with "completely" watered down with some kind of static constraint...)

>> Q: How do you extend dialects or modules or true?.
> 
> Why not both?
> 
>    def true = object {
>        trait clone { ... }
>    }

?

J