探索类型系统的底层 - 自己实现一个 TypeScript

技术大牛

这篇文章包含两个部分：

A 部分：类型系统编译器概述(包括 TypeScript)

• 语法 vs 语义
• 什么是 AST？
• 编译器的类型
• 语言编译器是做什么的？
• 语言编译器是如何工作的？
• 类型系统编译器职责
• 高级类型检查器的功能
  

B 部分：构建我们自己的类型系统编译器

• 解析器
• 检查器
• 运行我们的编译器
• 我们遗漏了什么？
  

1. var foo: number = <font color="red">"not a number"<font color="black">;</font></font>

复制代码

test

var foo: number = <font color="red">"not a number"<font color="black">;</font></font>
这个代码测试了一下，好像还真是那么回事。