On the Effectiveness of Static Typing in Detecting Public Bugs
Posted by jpluimers on 2019/05/14
Cool research paper from a while back but still soo relevant:
The project page for an ICSE’17 paper, To Type or Not to Type: Quantifying Detectable Bugs for JavaScript
JavaScript is also a dynamically typed language for which static type systems, notably Facebook’s Flow and Microsoft’s TypeScript, have been written. What benefits do these static type systems provide?
Source: [Archive.is] On the Effectiveness of Static Typing in Detecting Public Bugs
Other saved links:
- [WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/data/bugs.json – all (400) bugs
- [WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/data/disagreement.json – the few (22) bugs on which the annotators disagreed about being preventable
- [WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/data/flow_vs_tsc.json – comparison of Flow versus TypeScript checking results
- [WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/data/tsc_vs_tsc.json – comparison of TypeScript 1.8 versus TypeScript 2.0 results
- [Archice.is/WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/ICSE_talk.pdf – presentation (PDF version)
- [WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/ICSE_talk.key – presentation(Keynote version)
- [Archive.is/WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/case_study.pdf – case study (only in PDF)
- [Archive.is/WayBack] http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/type_study.pdf – paper (only in PDF)
–jeroen
via: [WayBack/Archive.is] Slashdot drew my attention to this ressearch … http://ttendency.cs.ucl.ac.uk/projects/type_study/ An argument for languages like Delphi. – Roland Kossow – Google+
The Wiert Corner - irregular stream of stuff 
Leave a comment