Dependent Haskell Is the Future (2018)

Re:Dependent Haskell Is the Future (2018) by lmm on Friday August 16, 2019 @01:20PM (#20717306)

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.

[ Parent | on HN ]

Re:Dependent Haskell Is the Future (2018) by beders on Saturday August 17, 2019 @12:20AM (#20722011)

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

[ Parent | on HN ]

Re:Dependent Haskell Is the Future (2018) by lmm on Saturday August 17, 2019 @03:36AM (#20722741)

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

[ Parent | on HN ]