In this chapter, we have seen various new features of TypeScript 2.0. In this release, lots of new features for more accurate type analysis were added. We have seen control flow based type analysis, null and undefined checking, and tagged union types. Finally, we have also taken a look at analyzing algorithms. We will use most of these topics in the next three chapters. In Chapter 7, Spreadsheet Application with Functional Programming, we will build a spreadsheet application. We will also discover functional programming there.