3 ms·
> Oh. And many remember Dart being optional-typed (like Typescript). So? Some could argue it's a very productive approach.
by allover 9y ago
> Oh. And many remember Dart being optional-typed (like Typescript).
So? Some could argue it's a very productive approach.
- hota_mazi 9y agoEven the Dart team themselves stopped arguing it's a productive approach. Dart is going all strongly typed, after seven years of feet dragging. Dynamically typed languages are a thing of the past.
- moocowtruck 9y agoit would be nice if dart had a more expressive type system, why do we say types are the future, then gimpy the language with basically a java type system to which most static type people will say is not the good definition of a static typed language?
- hota_mazi 9y agoThe Java type system is pretty solid, and the languages that followed (C#, Kotlin, Swift) improved only marginally over what Java had already done in that area. I think it's a great middle ground between no type system and what Haskell and ML offer.
- moocowtruck 9y agothe java type system is unsound :D it's not very expressive... i mean i don't expect haskell level but i think we can do better than current java, especially for new languages
- hota_mazi 9y agoUnsound is what you want. Sound type systems are pretty much unusable.
- greenhouse_gas 9y ago>So? Some could argue it's a very productive approach. Some could. And others look at it and think "Python" or "JS" speed app. Oh. And harder to refactor/detect errors.