[mpweiher]

> 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.

[dahauns]

In practice, "this is safe" often transforms to "I thought this was safe" at the most inopportune moment.

[mpweiher]

Nope, your theory says it should. In practice it doesn't.