But the main benefits of static typing is in making the programming part easier. What do you gain from translating dynamically typed languages into a statically typed language?