3 ms·

> Citation needed Math. Look up the Curry Howard isomorphism and why it cannot be leveraged with dynamically typed languages. > Actually modern IDE's are abys

> Citation needed Math. Look up the Curry Howard isomorphism and why it cannot be leveraged with dynamically typed languages. > Actually modern IDE's are abysmal compared to what Smalltalk offered even back in 1995 I think you should spend some time with some of these modern IDE's to understand what true, guaranteed correct refactoring means, something Smalltalk can never hope to achieve because the language doesn't have type annotations.

brudgers 10y ago
Curious what tools you consider suitable?
- hota_mazi 10y ago
  IDEA, Eclipse, Visual Studio, XCode.
  - brudgers 10y ago
    Curious about languages as well -- I think of languages as tools, too.
    - hota_mazi 10y ago
      That becomes a little bit more subjective so I won't name specific languages, but to me, the language being statically typed is a requirement.
coldtea 10y ago
>Math. Look up the Curry Howard isomorphism and why it cannot be leveraged with dynamically typed languages. That's not Math. That's using math and then adding hand waving conclusions. Whether a language can leverage the "Curry Howard isomorphism" or not, while verifiable, is a totally different claim than "we should not seriously be using [that language] in the 21st century". >I think you should spend some time with some of these modern IDE's And I think you should know that I have been using those for decades (if by "those" we mean Eclipse, Idea and XCode). Still find Smalltalk IDEs with the whole paradigm more powerful.