[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).