Type Parameters are Completely Unnecessary
psygnisfive at yahoo.com
Tue Mar 4 23:42:25 PST 2008
Brendan Eich said:
<< This is clearly false. Type safety depends on
design (e.g. covariant argument subtyping in early
Eiffel), not on
implementation. But I am not sure we are speaking the
so I'll stop here. >>
Ofcourse you have languages that mix the two. But as a
programmer I don't _care_ about how you achieve it,
and hence I don't think that it should impact syntax.
The two _should_ be separate. If you want to do
compile-time stuff to maintain type safety, go right
ahead, but I don't see any reason why I should have to
concern myself with this distinction.
Be seeing you...
Looking for last minute shopping deals?
Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping
More information about the Es4-discuss