> also once you get into jit compilation you can do some nice optimisations if you can treat a variable type as statically known rather than dynamic.

This is something I hadn't considered. Thanks for mentioning it :)