在TypeScript中，类型判断主要包括编译时类型检查和运行时类型检查。

编译时类型检查是在编译阶段对代码进行类型检查，包括检查变量、函数、类等的类型是否正确。编译时类型检查可以在编译时发现许多未定义的类型错误。

运行时类型检查是在运行时对代码进行类型检查，包括检查变量、函数、类等的类型是否正确。运行时类型检查可以在运行时发现许多未定义的类型错误。

在TypeScript中，你可以使用typeof运算符来判断变量、函数、类等的类型。例如：

```typescript let x: number = 5; let y: string = "Hello";

console.log(typeof x); // 输出: number console.log(typeof y); // 输出: string ```

此外，TypeScript还提供了多种类型的声明，如let, const, interface, enum, class, 泛型等，这些类型的声明可以用于更复杂的类型检查。

例如：

```typescript let x: number | string; let y: number | string | number; let z: number | string | number | number;

console.log(typeof x); // 输出: number | string | number | number console.log(typeof y); // 输出: number | string | number | number | number console.log(typeof z); // 输出: number | string | number | number | number ```

在这个例子中，我们使用了|运算符来组合多个类型的值，这在编译时就发现了类型错误。