Were the results of this research made public? If so, could you, please, share them?
Actually, there are research on what percentage of bugs type system can catch. http://ttendency.cs.ucl.ac.uk/projects/type_study/ So, i don't think, that Haskell really helps not to introduce logical bugs. And, as to my…
Were the results of this research made public? If so, could you, please, share them?
Actually, there are research on what percentage of bugs type system can catch. http://ttendency.cs.ucl.ac.uk/projects/type_study/ So, i don't think, that Haskell really helps not to introduce logical bugs. And, as to my…