Haxe is strongly typed language. What are the benefits though? I see it increases the amount of code programmers need to write and have to mention every type for almost every line of code they write.
Some benefits I hear are
It helps compiler to sort variables in proper categories and thus the code compiles faster.
It may probably help the IDE to make code more readable.
It helps reducing the possible bugs like null pointer ( but how exactly? Cannot I just verify the variable by null comparison always?)
Are there more benefits?