5 ms·

Java has generics for one. Failed generics with type-erasure sure, but definitely better than Go which has nada.

• leshow 9y ago
  Type erasure on it's own isn't necessarily a bad thing, Haskell implements type erasure also.
  • unscaled 9y ago
    I guess this was your point, but the problem is how Java does does type erasure. With Haskell type erasure is an implementation detail, but with Java it leaks into the compile-time type checker. For instance, you can't have both these overloads: public void foo(List<String> list) public void foo(List<Integer> list) This just wouldn't compile.
    • pjmlp 9y ago
      Not today, but in the future it might, depending on how the work on value types will turn out.
    • pdpi 9y ago
      The problem there is that the equivalent Haskell would dispatch statically, whereas this is dynamic dispatch in java
  • masklinn 9y ago
    The difference is that Haskell has very little RTTI, so you can't really see the missing types at runtime. For Java it's much more noticeable, because runtime type manipulations are way more common.