[jakubmazanec]

> People have been working on huge code bases without types for a VERY long time with no issue

People have been successfully writing assembly, your argument is useless.