Type bugs are so rare in regular code that it's significantly insignificant when measured during research studies. From a code correctness point of view, static

Type bugs are so rare in regular code that it's significantly insignificant when measured during research studies. From a code correctness point of view, static typing is simply speaking useless. You should have spent the time statically typing your code on writing more tests.