4 ms·

Haskell has an equational type system, and doesn't support subtyping in the same way that big bang does. (Disclaimer I'm working on big bang, so I'm a bit bias

Haskell has an equational type system, and doesn't support subtyping in the same way that big bang does. (Disclaimer I'm working on big bang, so I'm a bit biased)