Great idea until it isn't. The article is full of bullshit but one thing is very true. We can't predict the future, especially so when we deal with humans and society where stuff changes fast. Strict schemas are more pain than gain here.

> * Use formal verification if possible

Wonder when F* and the like get mainstream so that "if possible" becomes "almost always".