3 ms·Yeah, compiling is basically a solved problem, type-checking is where 90% of the complexity lives.by root_axis 4y agoYeah, compiling is basically a solved problem, type-checking is where 90% of the complexity lives.