News for hackers. Stuff that matters.

A comment on Kotlin Is Better. Parent comment

Re:Kotlin Is Better by mpweiher on Thursday May 18, 2017 @02:02PM (#14369518)
> Without type annotations, refactorings are never safe

There is a difference between "I can prove this is safe" and "this is safe". You guys need to start figuring out the difference between theory and practice.

[ Parent | on HN ]
Re:Kotlin Is Better by dahauns on Friday May 19, 2017 @03:30PM (#14378710)
In practice, "this is safe" often transforms to "I thought this was safe" at the most inopportune moment.
[ Parent | on HN ]
Re:Kotlin Is Better by mpweiher on Saturday May 20, 2017 @04:38AM (#14381530)
Nope, your theory says it should. In practice it doesn't.
[ Parent | on HN ]