In this chapter, we learned about many of the features of the TypeScript type system. At this point, we should now have a good understanding of concepts such type inference, non-nullable types, structural typing, and control flow analysis.
In the next chapter, we will learn more about the usage of functions in TypeScript.