Re:Code is Engineering; Types are Science
by nilkn on Monday April 06, 2020 @12:44PM
(#22795242)
What is any of this based on? I could just as well say that the Haskell software we have in production has essentially never had a bug over 3+ years of runtime, despite being a complex, high-performance, heavily multithreaded service. But I wouldn't expect you to take that as a universal accounting of the language's relative strengths and weaknesses.
[ Parent
| on HN ]
Re:Code is Engineering; Types are Science
by tsimionescu on Tuesday April 07, 2020 @10:52AM
(#22803730)
It's based on this study, and a few other I don't have on hand:
https://m-cacm.acm.org/magazines/2017/10/221326-a-large-scal...
They find some effect of language on defects, but it is small, and there are other factors with much larger impact.