[umanwizard]

Almost no languages have types considered at runtime.

[guappa]

Well python does, after the famous PEP to pack all types into strings got parked (probably forever).

There's packages to typecheck at runtime, even to check the parameters to a function.