Quote from: ASBzone on March 11, 2021, 04:59:28 pmI'm not sure why you believe this to be a reasonable expectation. Can you point to any language compiler in use today which comes close to behaving like this? It is one of the biggest reasons people are making new languages nowadaysSpark (Ada), Wuffs, Idris, Agda, ATS are some They have an integrated theorem prover to prove everything in the code is correct
I'm not sure why you believe this to be a reasonable expectation. Can you point to any language compiler in use today which comes close to behaving like this?