Given how awful most real-world code actually is (and this includes
code written by quite capable, even talented, people - with a
deadline, erratically changing specs and legacy headaches of Biblical
proportions - yea, even unto the seventh generation - to contend
with), there's a particular sort of grace about that rare bit of code
that has real economy and integrity, that does nothing except for its
thing, and that well: "Selves—goes itself; myself it speaks and
spells, Crying / What I do is me: for that I came".
I wonder whether this putative proof will have that sort of elegance.
It seems sadly unlikely.
Dominic
|