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?
No they don’t. https://haxe.org/manual/type-system-type-inference.html
Linting is a huge benefit
The number of times I’ve spent hours (or days!) searching for bugs caused by dynamic (untyped) code is shameful
I find it much quicker to let the compiler tell me where my application breaks than to find out (or not find out) at runtime
Use Haxe for a few months and then see if your question still makes sense likely usage will change your viewpoint significantly and you will not be so keen to go back to the language you used to use.
Another benefit is code completion. If the type is declared, methods and properties associated with that type can be accessed instantly via code completion in a decent IDE. Arguments for methods usually require specific types too, and this again would be available via code completion and hinting.
That is a massive time saver.