[Grace-core] Class syntax and type parameters

[Marco Servetto]

no, if foo[bar] is a thing that conceptually generate and typecheck the
foo over bar, then foo[x] is a method that return "code"
and that is the end of the story, with no parametricity ever

On 15 November 2014 07:44, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:
> On Sat, Nov 15, 2014 at 1:37 PM, Marco Servetto
> <marco.servetto at gmail.com> wrote:
>> Dear Andrew,
>> list<Number>.empty
>> Is a normal method over a generic class.
> It's a normal method on the object returned by a request of a generic
> method. There is no such thing as a "generic class" (yet); I think
> this should really be list.empty<Number>, but someone's able to write
> it either way, and there's always a generic method involved somewhere.
> -Michael