> The point of static typing is to allow an compiler to compile your code for performance reasons and nothing else
Sure, if one doesn't care about their code quality, after all everyone loves to write unit tests for every possible use case.
Sure, if one doesn't care about their code quality, after all everyone loves to write unit tests for every possible use case.
Static type checking has a measured bug catch rate of <1%. So the quality of any code where the programmer depends on static typing to verify correctness rather than unit tests is very very low.
Looking forward to a set of paper from renowned researchers with SIGPLAN/ACM, IEEE proven credentials in language research.