3 ms·
Programming languages and systems are basically theorems. The nice thing about theorems is that even when they're old, they're still theorems.
by noblethrasher 10y ago
Programming languages and systems are basically theorems.
The nice thing about theorems is that even when they're old, they're still theorems.
- williamle8300 10y agoAh. I dig this. Wish I had more upvotes!
- oaktowner 10y agoI gave him/her an extra for you.
- frozenport 10y agoNo, because they can literally not run, or contain security vulnerabilities.
- joakleaf 10y agoI don't completely agree. To follow your analogy, I don't think the languages themselves are "theorems". Rather they are notation. Some notation is shorthand. Some is quite verbose. But in the end it is not the notation that makes or break a theorem. However, a theorem may be more or less clear depending on the notation.