8 ms·

But these are not enforceable by the type system (at least in Haskell), kind of supporting my point that types alone are rarely sufficient :)

• dllthomas 12y ago
  I don't think anyone believes that types are sufficient outside, at least outside of a dependently typed language (at which point you'll have more diversity of opinion).
• tel 12y ago
  Types in Haskell won't buy you 100% of what you need, but they may buy you 50%.