User:Dfeuer/Wadler's Law

From ProofWiki
Jump to navigation Jump to search

In any language design, the total time spent discussing a feature in this list is proportional to two raised to the power of its position.

0. Semantics
1. Syntax
2. Lexical syntax
3. Lexical syntax of comments

Source: Haskell Wiki

On $\mathsf{Pr} \infty \mathsf{fWiki}$, if you look at arguments about how things should be done, it looks something like

0. Proof techniques
1. Definitions
3. Variable names
4. Page names
5. $\LaTeX$ source style
6. Complaining about it