> 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 s

> 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 :)