4 ms·
it 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 whi
by moocowtruck 9y ago
it 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.