Typescript has a command line option for this as well. As far as I can tell, the language would also support a non-validating mode that would be more or less i

Typescript has a command line option for this as well. As far as I can tell, the language would also support a non-validating mode that would be more or less instantaneous (the transformations it performs are all local, and none of them involve knowledge of the types involved).