Type inference in haXe

We will start this chapter with the excellent feature of type inference. Type inference is the way to automatically deduce the type of a variable in a program. This is a strongly static feature of haXe. What is strongly static type and dynamic type? Let’s know it first:
• We can know the type of an expression only at runtime in dynamically type language.
• If we can know the type of an expression at compile time, then it is statically typed.
HaXe uses type inference at compile time. So, if we declare a variable without a type, the type of the variable will be set when it is first used. The compiler gathers the type information as an aggregate function of expression used or by understanding implicitly the type of the values that are used.
See the book OpenCart 1.4 Template Design Cookbook. See the book Joomla Mobile Development Beginners Guide