Hacker News new | past | comments | ask | show | jobs | submit login




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)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: