I find that anything beyond a very small program is faster to do with sort of manifest typing (with static analysis/type checking). Now, I think that type infe

I find that anything beyond a very small program is faster to do with sort of manifest typing (with static analysis/type checking). Now, I think that type inference for local variables can be nice (especially if you have good IDE that allows you to see the inferred type). I once wrote a 600-700 line application in PowerShell. I found myself adding a few type annotations, and I expect that a program any bigger than that (especially if more than one person started working on it) would benefit from a policy of always adding type annotations.