Maybe we're confusing type inference with code generation here? TypeScript doesn't compile to machine code ahead of time, it only has to verify the types.

Here is one of the creators of the language talking about the global type inference of Crystal:

https://www.youtube.com/watch?v=xbdVs4FhZac&t=16m