Hacker News Reader

For C++, one kind of nonsensical types is abominable function types, which are bare functions with cv-qualifiers [1] [2].

[1] http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p017...

[2] https://news.ycombinator.com/item?id=10935171

View on HN

That's a rather different issue. Abominable types are annoying and mostly worthless, but there's nothing inherently wrong with code containing a type variable that refers to the type. Java's screwy generic instantiations are types that violate constraints by merely being named.

I'm not saying that C++'s type system is great. I'm just saying that Java's problem mystifies me.

Reply on news.ycombinator.com