3 ms·
Very few people use HM type systems even today, though. I think it really is worth considering that Java effectively didn't have sum types until, I think, vers
by Tainnor 2y ago
Very few people use HM type systems even today, though.
I think it really is worth considering that Java effectively didn't have sum types until, I think, version 17, and nowadays, many modern and popular statically typed languages have them.