Comment by ken47

Another interesting addition is discriminated union types: https://github.com/Microsoft/TypeScript/pull/9163

This will greatly facilitate a more functional style of programming.