TAT类型检查器回顾

我们收获了什么：

1. 实现了基本的函数类型检查。
2. 实现了子类型。
3. 实现了参数多态。
4. 得到了关于类型系统的入门知识。

TAT和TypeScript的差距:

1. 缺乏有意义的诊断信息（类型报错信息），导致没有办法精确定位类型错误发生的位置。
2. 缺少LSP（语言服务），导致没有办法在编辑器中进行实时的类型检查和语言提示。
3. 缺少类型操作符(例如，Array这个一元类型算子)的能力。
4. 缺少隐式的类型推断。