Java has probably the most notoriously limited typesystem in actual use. Judging... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lmm on Aug 16, 2019 | parent | context | favorite | on: Dependent Haskell Is the Future (2018)

Java has probably the most notoriously limited typesystem in actual use. Judging type systems by Java is like judging electric cars by the Sinclair C5. Try an ML-family language sometime.

beders on Aug 17, 2019 [–]

It will have the same intrinsic problems. It doesn't matter that it is Java.

lmm on Aug 17, 2019 | [–]

Nonsense. How can you claim that without having seen or tried it?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact