The common `complaint' about eg Haskell's type system is that it only tells you off if something is amiss, but doesn't actually do anything for you when your program is fine. So, that's just the opposite.
See eg the key-note by Conor McBride at LambdaJam: "What are Types for, or are they only Against?"
The common `complaint' about eg Haskell's type system is that it only tells you off if something is amiss, but doesn't actually do anything for you when your program is fine. So, that's just the opposite.
See eg the key-note by Conor McBride at LambdaJam: "What are Types for, or are they only Against?"
https://a.confui.com/public/conferences/56b46f17db9ac1529400...