3 ms·
types also don't cover all issues. otherwise your types proof your code is 100% correct.
by je42 8y ago
types also don't cover all issues. otherwise your types proof your code is 100% correct.
- scrollaway 8y agoI feel like you're missing the point and you think you're not.
- je42 8y agoexample: two functions: "sub" and "add". both have type signatures (int,int) -> int yet the types will not help you to proof you are using the functions correctly, and the types are also not helping that the output of these functions is always as promised by the documentation.