Saturday, August 23, 2014

Thinking for Programmers

Leslie Lamport had a great talk at Microsoft Build 2014:

Everyone thinks they think. If you don’t write down your thoughts, you’re fooling yourself.


No programming language, no methodology, obviates the need for specification. A specification is a separate task from coding.


If you don’t start with a spec, every piece of code you write is a patch.


Thinking doesn’t guarantee that you won’t make mistakes. Not thinking guarantees that you will.

Unfortunately, he doesn’t get into an example of what you can do, e.g. model checking, with a TLA+ specification.

1 Comment RSS · Twitter

[…] “coder” means today. They just use it as a shorter word for “programmer.” Leslie Lamport seems to see coding as translating a (perhaps implicit) specification into code. We understand that […]

Leave a Comment