There are a lot of known best practices in programming that aren't often done.
- There are a lot of known best practices in programming that aren't often done.
- The reason is because they require too much effort and patience to do.
- For example: Haskell's QuickCheck and Mutation Testing.
- Rust's Borrow Checker almost has this shape, but is just on the right side.
- Or rather, is on the right side for some portion of the engineering population.
- Now with LLM's patience, these kinds of best practices are more plausible.[gw]
- It lowers the sea level, making more best practices viable than before, and practices
- Perhaps Proof-Carrying-Code is similar?
- That's likely still a bridge too far.[gx]