3 ms·

> They both have IDEs with automated refactorings. Yes but they do not guarantee correctness. They can't, the IDE simply doesn't have enough type information f

> They both have IDEs with automated refactorings. Yes but they do not guarantee correctness. They can't, the IDE simply doesn't have enough type information for that.

cwp 11y ago
As a matter of fact, they do. Unlike Java IDEs, Smalltalk dev tools are implemented via reflection on the running program. Between information available from the runtime data structures in the program and the fact that Smalltalk uses single dispatch polymorphism, static type declarations aren't necessary for correct automatic refactorings. This will be my last post in this thread.
- incepted 11y ago
  > 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.