In that case you are relying on generics or the equivalent of dynamic typing. My point is that if the language is just static typing without these extra facili

In that case you are relying on generics or the equivalent of dynamic typing. My point is that if the language is just static typing without these extra facilities, you cannot translate without knowing the outcome at runtime.