The TypeScript team recently announced version 3.1 of TypeScript, adding mappable tuple and array types and several other refinements.

Next TypeScript release, due February 25, will support a limited form of checking against conditional and indexed acces types in return statements.

Microsoft shipped TypeScript 5.8 with improved type checking in some scenarios, but thorny problems caused the dev team to delay related work to the next release.