3 ms·
The type system of something like C++ and Java are so far removed from the type systems of Haskell or Idris, that it is silly to compare these two.
by Tehnix 9y ago
The type system of something like C++ and Java are so far removed from the type systems of Haskell or Idris, that it is silly to compare these two.