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