La branche master du code source du compilateur TypeScript a vu récemment d'importants ajouts être validés : les alias de types et les unions de types sont inclus dans la spécification de la future version 1.4.

La notion de sous-type et de sur-type a également été revue suite à tous ces changements.