|
|
|
|
|
|
by chowells
2698 days ago
|
|
|
Haskell's type system still isn't sound. It just elimates that particular class of errors. A lack of soundness is closely related to the Turing completeness, especially in languages based on HM. In an ideal world you would want a sound type system and not want Turing completeness, but the tooling doesn't exist to make those choices the most pragmatic right now. |
|
|