I feel like this could make for an interesting publication, though I'll admit, maybe it has been done; I haven't really looked. There are probably a few type systems out there where this sort of thing is possible nowadays with optional type checking being seemingly more popular. I think a more difficult question to answer from an empirical standpoint is: how much does functional programming improve safety and catch errors?
On Sat, Jul 4, 2020 at 10:38 PM gmhwxi <[email protected]> wrote: > > I did this sort of practice before. And I paid a closer attention this > time. > > I implemented an interpreter for ATS3 that could handle programs containing > type-errors. I tried it to test some of the ATS3 library code (consisting > of about 15K > lines for now). After I got the non-dependent type-checker for ATS3 > working, I tried > type-checking the library code (that had already passed unit tests). Did I > find bugs? > A large number of them. And I have been writing this kind of code for more > than 20 > years! > > Once I get the dependent and linear type-checker ready, I am certain that > many more > bugs will be flushed out. In particular, I am certain that a lot of memory > leak bugs will > be detected. If I extrapolate a bit, I am pretty certain that the bug > ratio in C and C++ > code is quite significant. > > Regarding the COVID-19 cases out there, I suppose we can find many more of > them if > our detection method becomes more effective. The same can be said about > the bugs in > our code. > > --Hongwei > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/97b1c18a-ae9b-4f17-9322-2122edd1a004o%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/97b1c18a-ae9b-4f17-9322-2122edd1a004o%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Brandon Barker [email protected] -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAORbNRpXJBFObChSYRepeXP4VQtn94T-oyFBp_WNzR7FjgbXCg%40mail.gmail.com.
