一般来说，静态语言在编译时进行类型检查Typescript在编译时也进行类型检查吗？

是的，Typescript 在编译时进行类型检查。下面是一个简单的示例：

function add(a: number, b: number) {
  return a + b;
}

console.log(add(2, 3)); // 输出 5
console.log(add("2", "3")); // 编译时报错，字符串不能与数字相加

在上面的示例中，我们定义了一个函数 add，它接受两个数字作为参数并返回它们的和。在定义函数时，我们使用了 Typescript 提供的类型注解 number 来指定参数的类型。当我们编译代码时，Typescript 会检查我们的代码是否符合类型注解，如果不符合则会在编译时报错。在第二个 console.log 语句中，我们试图将两个字符串相加，但由于类型不匹配，Typescript 在编译时就报错了。