I'm not sure how the type annotations can help with optimization (although I could be missing something, and would be glad of an explanation). But, as I explain

I'm not sure how the type annotations can help with optimization (although I could be missing something, and would be glad of an explanation). But, as I explain briefly in the article, they can warn you if you accidentally declare an array of objects rather than primitive types, which would kill performance.