News for hackers. Stuff that matters.
Re:Introducing Haskell to a Company by marcosdumay on Tuesday October 02, 2018 @09:48PM (#18127086)
It is not comparable. Haskell's type system is a qualitatively different thing from Java's, with different use cases (it can be used the same way as Java's, but people just don't).

Java's types don't help you organize your code, don't help you make it more concise, and enable only the shallowest kind of code generalization. They are not expressive enough to prove correctness, they mostly do not help you hiding information away from the developers focus, and they mostly do not allow you to restrict code into their responsibility.

There are no comments on this comment yet.