[Grace-core] Class syntax and type parameters

James Noble kjx at ecs.vuw.ac.nz
Mon Nov 17 02:17:09 PST 2014


On 17/11/2014, at 21:02 pm, Marco Servetto <marco.servetto at gmail.com> wrote:

> The main different in my proposal is that I want to "stop there" and
> do not have any polymorphism on methods.

well yeah, Tim and I talked about that today,
and let's just say I'm halfway convinced ---
although we'd need another model for generic containers, 
at least, and perhaps a more obscure option for 
type-generic methods if they're really needed.

J



More information about the Grace-core mailing list