On Wednesday, 22 November 2017 at 13:21:05 UTC, Timon Gehr wrote:
On 22.11.2017 01:19, codephantom wrote:
No, I ideally want the type system to point out when the code
is not obviously correct. That does not mean I assume that the
code is correct when it compiles (given that I'm using a
language that does not require me to prove absence of all bugs,
and even if it did I'd at most assume that either the language
implementation is incorrect or my code is correct, with a
certain margin of error due to undetected hardware failures).
This is very unwise.
...
Thanks for pointing that out.
You're welcome.
