3 ms·
"Increased comfort" and "clear progress" are subjective measures about which people may disagree (to whit, I disagree). I argue that in ten or twenty years fro
by puredanger 8y ago
"Increased comfort" and "clear progress" are subjective measures about which people may disagree (to whit, I disagree).
I argue that in ten or twenty years from now, we will have great tools in dynamic languages to express constraints when needed, without requiring proofs.
These are opinions, not facts.
- purple_ducks 8y agoIs there anything to capture (dev-)runtime data & generate specs from that as a starting point?
- puredanger 8y agohttps://github.com/stathissideris/spec-provider https://github.com/stathissideris/spec-provider
- purple_ducks 8y agosuper. thanks