随笔分类 -  编译原理

摘要：前两天给 Ice 加了 call/cc, 为此还重构了一波, 实现 call/cc 还是因为看了轮子哥的大专系列( 里边说提供 continuation 语言实现 Coroutine 起来很轻松, 后来又查了一些资料, 都说 continuation 表达能力很强, 就实现了一手, 调用方式完全等同 阅读全文

摘要：编译器通常组织为一连串的处理趟，随着编译器不断推导有关被编译代码的知识，它必须将这些信息从一趟传递到另一趟，因而，对于推导出有关程序的全部事实，编译器需要一种表示，我们将这种表示称为 中间表示 (intermediate representation)，简称为IR。 中间表示的分类 泛泛而言，IR从 阅读全文

摘要：将每条语句放到实际的上下文中进行考虑，从而检测类型和约定方面的错误，这种分析一般被称为“上下文相关分析”(context sensitive analysis)，以区别于语法分析，或者称为"语义推敲"(semantic elaboration)。 概述 被编译的程序中的某个名字x，在编译器能够为涉及 阅读全文