3 ms·

Problem in the sense that most typed languages don't have a sufficiently powerful/expressive type system.