Angular 的类型检查工作原理是通过 TypeScript 提供的静态类型检查实现的。TypeScript 是一种由 Microsoft 开发的 JavaScript 超集语言，它引入了类型注解和静态类型检查的功能。

在 Angular 中，我们可以通过以下几种方式来进行类型检查：

1. 使用 TypeScript 的类型注解：TypeScript 允许我们在变量、函数参数、函数返回值等地方添加类型注解，从而告诉编译器这些地方的期望类型。编译器会根据这些类型注解进行静态类型检查。

示例代码：

// 定义一个函数，接收两个参数并返回它们的和
function add(a: number, b: number): number {
  return a + b;
}

// 调用函数并打印结果
console.log(add(1, 2)); // 输出 3
console.log(add('1', '2')); // 编译时报错，参数类型不匹配

在上面的代码中，我们使用 number 类型注解来指定参数 a 和 b 的类型，以及函数的返回值类型为 number。当我们传入不符合类型注解的参数时，编译器会给出相应的错误提示。

2. 使用 Angular 模板的类型检查：Angular 提供了模板类型检查的功能，它会在编译时检查模板中的属性、方法等是否存在，并检查它们的类型是否匹配。这样可以在编译时发现一些潜在的错误，避免在运行时发生错误。

示例代码：

import { Component } from '@angular/core';

@Component({
  selector: 'app-example',
  template: `
    
{{ title }}
    Say Hello
  `,
})
export class ExampleComponent {
  title: string = 'Hello Angular';

  sayHello(): void {
    console.log('Hello!');
  }
}

在上面的代码中，我们定义了一个 ExampleComponent 组件，模板中使用了插值和事件绑定。Angular 编译器会根据模板中的属性、方法等信息进行类型检查，确保它们的类型正确。

3. 使用 Angular 的依赖注入机制：Angular 的依赖注入机制可以帮助我们在编译时进行类型检查。通过在构造函数中声明依赖的类型，Angular 会在实例化组件时自动进行类型检查，并确保依赖的类型正确。

示例代码：

import { Component, OnInit } from '@angular/core';
import { HttpClient } from '@angular/common/http';

@Component({
  selector: 'app-example',
  template: `
    
  `,
})
export class ExampleComponent implements OnInit {
  constructor(private http: HttpClient) {}

  ngOnInit(): void {
    this.http.get('https://api.example.com/data')
      .subscribe((data: any) => {
        console.log(data);
      });
  }
}

在上面的代码中，我们在构造函数中声明了一个依赖 HttpClient 的参数，并将其标记为私有。Angular 编译器会在实例化组件时检查 HttpClient 的类型，并确保它符合依赖的要求。

总结来说，Angular 的类型检查工作原理是通过 TypeScript 提供的静态类型检查功能实现的。我们可以使用 TypeScript 的类型注解、Angular 模板的类型检查以及依赖注入机制来进行类型检查，并在编译时发现一些潜在的错误。