In this chapter, we have learned what the typing system is, how to type variables, how to use type parameters, and how you can put constraints on them. We used different ways to type variable, and learned/showed that using type parameters is up to your preference and your imagination.

Specifically, we covered static typing, inheritance, and type inference. We have also covered function's type and what type parameters are and how to use them to create parameterized classes.

We have covered a great part of the haXe typing system and in the next chapter, we will learn about the Dynamic type, which is one of the most interesting things in haXe!