TypeScript is also interpreted, and does type checking without running code. Their argument is very weird.
That's an odd thing to say. The distinction between compiled and interpreted languages is very fuzzy, but TypeScript is clearly on the compiled side.