23 Feb
2006
23 Feb
'06
4:27 p.m.
Wolfgang Jeltsch wrote:
Maybe it would be better to use something like "typealias" for type aliases, since using "type" for declaring type aliases is misleading anyway.
I would be happy if "type" were returned to the pool of usable identifiers. The other name I frequently wish I could use is "default". It's frustrating that it's reserved for such a rarely used feature. Yeah, I know, Wadler's law. -- Ben