The idea of the program is a separate thing altogether from the implementation. You can't, you know, sort of think about what the program is going to do without an understanding of whether you can code it or not. There are two things that you should do before you start writing code. And I have a very simple criterion for whether you've done this properly: someone can use it without having to look at the code. It's completely obvious to me but doesn't seem to be obvious to programmers because they're not programmers, they're coders.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!