Post

Increasingly convinced that specs are now the source and that code is an artifact akin to a lockfile.

Software is specification, but precise. It's mostly that the languages we write software in suck. The way that they suck is that they flatten complexity at different levels of abstraction.

Kris Nuttycombe

@nutty.land

A function is a proof of the theorem that is that function's type. It's a fact about the universe. We build more complex theorems out of simpler ones; the top-level theorem (articulated as a spec) is simply that, the top level, not all the layers below it.

17/9/26, 10:49 pm0 reposts0 likes

No replies yet.