3 ms·

> static type declarations aren't necessary for correct automatic refactorings. They very much are, it's a scientific fact (look up the Curry-Howard isomorphi

> static type declarations aren't necessary for correct automatic refactorings. They very much are, it's a scientific fact (look up the Curry-Howard isomorphism).

cwp 11y ago
Ah. An academic. Of course.
- incepted 11y ago
  No, a mere engineer who takes writing correct code very seriously. But the simple fact you seem to throw the term "academic" derogatorily tells me a lot about you.