News for hackers. Stuff that matters.
Re:Dependent Haskell Is the Future (2018) by beders on Friday August 16, 2019 @01:06PM (#20717156)
I can confirm this 100%. Having worked at an old (19 years) Java code-base full of unnecessary patterns & abstractions. Even with really great refactoring help from the IDEA, making meaningful changes is very very time consuming. I've spent weeks on it. The complexity was creeping in over the years and is almost impossible to get out again. But it has types!!!11!

And if I then look at the actual data transformations behind all this code: It would be a 2 day exercise in Clojure to re-build this from scratch.

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.
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.
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?