It's quite trivial for a static analyzer to distinguish between a "string" and numeric value. So I think it's unnecessary to annotate : string : number, etc it just adds noise to the code. If you want to catch real bugs, check the parameters!