3 ms·
The 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.
by hota_mazi 9y ago
The 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.