(j3.2006) derived types with type parameters are different
Tue Jul 29 18:42:40 EDT 2008
On Tue, 29 Jul 2008, Aleksandar Donev wrote:
> On Tuesday 29 July 2008 13:46, Michael Ingrassia wrote:
> > If it causes significant loss of functionality, what exactly is the
> > functionality that we lose?
> I (and probably Lawrie andothers) agree, but there is the issue of backward
> compatibility and simply not making "language design" changes
> retroactively---only fixes of techical messups.
You're worried about backwards compatibility on a feature that few
compilers have implemented. Surely, very few people are today depending
on parametrized derived types and even fewer are further depending on the
compiler to figure out that n+n is the same as 2*n in a sequence type.
More information about the J3