编写一个理解类型的编译器

Write a Compiler That Understands Types

课程描述

想知道 TypeScript 是如何推断类型的吗?类型推断看似神奇,但你会使用强大的 Hindley-Milner 系统逐步实现它。构建一个可工作的编译器的每个部分,包括解析、作用域解析、类型推断和字节码生成。通过从头开始构建类型系统,加深你对语言设计和编译器内部的理解!

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。