interesting blog. I agree strongly with the comment posted:
"If he took the theory as absolute, then sure, but surely there was an "in practice" implication (or it's pretty much a straw man argument). If the unit tests had previously found and removed 10 bugs, of which the static type checks would have found 8, and they also uncovered another 1 or 2 that unit tests didn't find, then sure, "in practice" unit testing does not moot static typing. But if the unit tests found & fixed 1,000 bugs, or which the static type checks found only 500, and again "another 1 or 2", then I'd say that "unit tests moot static typing" is, in practice, proven. Hence reporting "static type checks found 1 or 2 extra bugs" is not sufficient to draw a conclusion as you don't have the other numbers to give context. And of course, I'd lay bets that there are still bugs in the code that neither the existing unit tests nor the static type checks found. It's still an interesting study & exercise, but I'd dispute the conclusion drawn (altho I am a fan of type checking and particularly the type inference model in Haskell and other FP languages)." Rakesh On 30 July 2012 10:33, Dale Wijnand <[email protected]> wrote: > On Monday, July 30, 2012 12:54:34 AM UTC+2, rakesh mailgroups wrote: >> >> "you might find that compiler help isn't all that important in the end" >> > > There is a research that seems to prove that "unit testing isn't enough, > you need static typing", which is very interesting. Here: > > http://evanfarrer.blogspot.it/2012/06/unit-testing-isnt-enough-you-need.html > > Dale > > -- > You received this message because you are subscribed to the Google Groups > "Java Posse" group. > To view this discussion on the web visit > https://groups.google.com/d/msg/javaposse/-/q-A3HxccEmsJ. > > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > -- You received this message because you are subscribed to the Google Groups "Java Posse" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
