Am I the only one that thinks an implementation is actually the better specification, if readable? What better way to describe state mutations than actual code,

Am I the only one that thinks an implementation is actually the better specification, if readable? What better way to describe state mutations than actual code, provided the language used is well-specified? Readability is key here, as the opposite, a black box emulator, would not provide the same value. > People copying different implementations get different behaviours People copying black box behavior get different behaviors, necessarily. Using English results in palpability, not specification. Major distinction. Indeed specs are intended to make an hitherto unseen vision palpable. But it's better to provide a mold, and verify implementations fit the mold.