[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: the forward method [dynamic vs. static typing]

Ken Shan writes:
> As far as I can tell, we agree except on whether you have argued against
> any claim that I actually made.

OK, my error.  I didn't realize you were focusing on being able to
express functions such as

>   make :: a -> Int -> SuperList a

This can be implemented in Java 1.5, of course, but that is a
tangential point, since Java 1.5 has its own completely different type
system for generics (erasure).