gd, 5 months ago This feels like maybe the 3rd programming language book where I've read something like: "If it compiles, it's correct." Not enough ego to put that level of boldness in print... but I'm sure I could work up to it. #Haskell #Rust #Elm
This feels like maybe the 3rd programming language book where I've read something like:
"If it compiles, it's correct."
Not enough ego to put that level of boldness in print... but I'm sure I could work up to it.
#Haskell #Rust #Elm
dpwiz, 5 months ago @gd that’s almost a tautology. It is correct under the given set of axioms. Then, ex falso quod libet somewhere in there and you have a prod full of bugs.
@gd that’s almost a tautology. It is correct under the given set of axioms. Then, ex falso quod libet somewhere in there and you have a prod full of bugs.
Add comment