News for hackers. Stuff that matters.
Re:The Unsound Playground: Java and Scala's Type Systems are... by quotemstr on Sunday November 27, 2016 @06:25PM (#13052256)
> Is this a defect or a tradeoff?

I'm curious what line of thinking could prompt this question. Not all trade-offs are good choices just because they're trade-offs! Maybe it has something to do with the recent spate of language design choices justified with "it was a trade-off", as if the words "trade-off" is an incantation that puts a technical decision above criticism.

Re:The Unsound Playground: Java and Scala's Type Systems are... by marvy on Sunday November 27, 2016 @11:32PM (#13053415)
> Not all trade-offs are good choices just because they're trade-offs.

Indeed. But they're not automatically bad choices either. Are you saying this one is a bad trade-off?