3 ms·
The ideal: "if it compiles it is guaranteed to work as you intended when writing it".
by _random_ 13y ago
The ideal: "if it compiles it is guaranteed to work as you intended when writing it".
- freyrs3 13y agoReality: "Type systems don't keep you from writing wrong logic, they only forbid you to write inconsistent logic."
- laureny 13y agoIf such a language existed, you wouldn't need to write any function body, all the code you need would be encoded in types. However, even the most advanced Turing complete type systems make for terrible sources, so it's probably not an ideal we should strive for.