4 ms·
Java's type system is anemic compared to modern languages, please don't use it as the point of comparison in typed vs untyped debates.
by TexanFeller 4y ago
Java's type system is anemic compared to modern languages, please don't use it as the point of comparison in typed vs untyped debates.
- kaba0 4y agoIf we for some weird reason were to put go as a modern language, than Java is some Haskell :D But jokes aside, Java’s type system can’t express HKTs, but up to that point it really is surprisingly strong — there is vavr, but I have also personally followed my former “define Haskell basic data types yourself in Haskell” class quite far in it, including Lists, Eq trait, Maybe type, etc.