Re:The sky is not falling – about the supposed end of dynami...
by yogthos on Sunday November 29, 2015 @05:49PM
(#10646453)
I'm saying that you have to actually demonstrate that additional formalism adds value before you start claiming that it does.
[ Parent
| on HN ]
Re:The sky is not falling – about the supposed end of dynami...
by Turing_Machine on Sunday November 29, 2015 @07:49PM
(#10646951)
Yes. Real-world programming is an entirely different thing from academic research.
In the real world, it may well be the case that while you're screwing around with a baroque type system, your competition has iterated three or four times and your milkshake has been drunk.