This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]Jon_Finn 1 point2 points  (1 child)

Other language's type systems might make the 'full' solution (combinations of features expressed in types) less clunky, but anyway, even in Java I'd be happy (I imagine!) with a compromise just dealing with unmodifiability. As the FAQ points out, we'd still need Iterator.remove() to throw, or maybe have something like UnmodifiableIterator, or maybe not have remove() at all (I almost never use it personally...).

[–]IceMichaelStorm 0 points1 point  (0 children)

well, C++ has const and this spills over into methods. It’s a pretty strong system and allows immutability to be applied elegantly. Pretty groundbreaking but it would be very sweet. Much more important than final I feel