TypeScript 1.6版本目前已开放下载

微软于美国时间2015年9月16日发布了TypeScript v1.6版本。这个版本中支持React/JSX，(class expressions)类表达式和一系列的类型系统的新功能。它还为对象字面量提供了更严格的类型检查。TypeScript 1.6同时支持Visual Studio 2013,Visual Studio 2015。 1.React/JSX的支持 此版为React和JSX的键入提供了全面的支持。在单独的.tsx文件中你可以像编辑HTML语法那样流畅地用TypeScript来编码。 2.Class expressions(类表达式) 这个版本还可以编写类表达式,TypeScript对ES6的支持还在继续完善中。和类声明类似，类表达式允许你创建新的类。和类声明不同的是，无论你在哪里使用表达式，你都可以使用类表达式。比如，你可以创建一个类然后在它的扩展子类中使用：

class StateHandler extends class { reset() { return true; } } {
   constructor() {
     super();
   }
}
var g = new StateHandler();
g.reset();

这个类可以是匿名的,但仍然有和类声明的相同的功能。 3.User defined type guards 在早期的TypeScript中，用户可以使用if语句来限定类型，比如：

if (typeof x === "Number") { … }

在新版本中，用户可以定义自己的类型，如：

interface Animal {name: string; }
interface Cat extends Animal { meow(); }

function isCat(a: Animal): a is Cat {
  return a.name === 'kitty';
}

var x: Animal;

if(isCat(x)) {
  x.meow(); // OK, x is Cat in this block
}

这样，在编码的时候不仅可以使用typeof和instanceof这检查类型，还可以使用接口来作自定义分析。Guard函数使用"a is X"来返回类型。 4.Intersection types(交叉类型) JS中常见的模式并不能容易地在现有类的新方法上表达出TypeScript的扩展性。为了实现，TypeScript新增了运算符'&'来合并两种类型。这个新的运算符‘&’称为交叉，它会创建一个司法局匿名的合并类型。

function extend<T, U>(first: T, second: U): T & U {
  let result = <T & U> {};|
  for (let id in first) {
    result[id] = first[id];
  }

  for (let id in second) {
    if (!result.hasOwnProperty(id)) {
      result[id] = second[id];
    }
  }
  return result;
}

var x = extend({ a: "hello" }, { b: 42 });
x.a; // works
x.b; // works

5.Abstract classes(抽象类) 和接口的使用有些相似的地方，抽象类允许你创建一个基类。

abstract class A {
  foo(): number { return this.bar(); }
  abstract bar(): number;
}

var a = new A();  // error, Cannot create an instance of the abstract class 'A'

class B extends A {
  bar() { return 1; }
}

var b = new b();  // success, all abstracts are defined

6.Generic type aliases(泛型类型别名) TypeScript 1.6允许使用泛型别名，如：

type switcharoo<T, U> = (u: U, t:T)=>T;
var f: switcharoo<number, string>;
f("bob", 4);