TypeScript 通过类型批注提供静态类型以在编译时启动类型检查

这是可选的，而且可以被忽略而使用 JavaScript 常规的动态类型

function Add(left: number, right: number): number {
    return left + right;
}

类型批注规则

1. 对于基本类型的批注是 number, bool 和string

2. 而弱或动态类型的结构则是 any 类型

类型批注可以被导出到一个单独的声明文件以让使用类型的已被编译为JavaScript的TypeScript脚本的类型信息可用

批注可以为一个现有的 JavaScript 库声明，就像已经为 Node.js 和 jQuery 所做的那样

当类型没有给出时，TypeScript 编译器利用类型推断以推断类型

如果由于缺乏声明，没有类型可以被推断出，那么它就会默认为是动态的 any 类型

范例

这个范例在 TypeScript 第一个应用 基础上修改

首先我们创建一个文件 type.ts 并声明一个简单的 area() 函数

type.ts

function area(shape: string, width: number, height: number)
{
    var area = width * height;
    return "I'm a " + shape + " with an area of " + area + " cm squared.";
}

document.write(area("rectangle", 30, 15));

其次修改 index.html 中的 hello.js 为 type.js

然后编译 TypeScript 文件 tsc type.ts

刷新我们的浏览器，显示如下