Furthermore, a stronger type system than TypeScript's, Elm's for example, may have caught even more than 38%. For advanced type systems, it's often quite diffi

Furthermore, a stronger type system than TypeScript's, Elm's for example, may have caught even more than 38%. For advanced type systems, it's often quite difficult to conceive of bugs that could not be caught by them, although they add a very large overhead.