4 ms·
None of the constraints you provided are useful in any way. That’s the problem - for some reason people get addicted to the machinery of types, but fail to use
by amw-zero 6y ago
None of the constraints you provided are useful in any way. That’s the problem - for some reason people get addicted to the machinery of types, but fail to use them for anything of substance in a real system.
- chriswarbo 6y agoYeah, I'm gonna assume bad faith on this one. You're dismissing countless person-years of research, development and experience, across academia and industry, without providing any evidence; you're dismissing specific counterexamples as not being True Scotsmen; and your very gradiose claims are laden with weasel words.