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

Follow

@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.

Sign in to participate in the conversation
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.