Re:Yarn's Future – v2 and beyond
by chowells on Thursday January 24, 2019 @09:55PM
(#18995153)
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.
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.