@snaggen@programming.dev to Rust@programming.dev • 4 months agoRust needs an official specificationtweedegolf.nlexternal-linkmessage-square21fedilinkarrow-up175arrow-down15
arrow-up170arrow-down1external-linkRust needs an official specificationtweedegolf.nl@snaggen@programming.dev to Rust@programming.dev • 4 months agomessage-square21fedilink
minus-square@taladar@sh.itjust.workslinkfedilink5•4 months agoA specification is just another form of implementation that suffers from the very same problem you describe too.
minus-square@copacetic@discuss.tchncs.delinkfedilink2•4 months agoFair enough. In practice, we resolve it recursively with a higher level specs and at some point it is just “someone wants that”. In commercial software development (where SIL is used) that is a customer who pays for it or some executive.
A specification is just another form of implementation that suffers from the very same problem you describe too.
Fair enough. In practice, we resolve it recursively with a higher level specs and at some point it is just “someone wants that”. In commercial software development (where SIL is used) that is a customer who pays for it or some executive.