Writing Micro Compiler in OCaml (2014)
9 months ago
- #programming
- #OCaml
- #compiler
- 许多软件开发者梦想创建自己的编程语言。
- 编译器的构建非常复杂且需要深入研究，通常从《C语言实现编译器》等资源开始学习。
- 这里描述了一种简单的微型语言，包含赋值、读取和写入等基本操作。
- 该微型编译器用OCaml重写，因其简洁的语法和函数式编程特性而被选用。
- 编译器输出NASM汇编代码，随后可编译为二进制可执行文件。
- 该微型语言支持整型变量、基础算术运算和简单的输入输出功能。
- 解析采用LL(1)分析器，仅需单字符前瞻即可完成。
- 定义了字符和词法处理的工具函数以辅助解析过程。
- 编译器包含语义检查功能，并为加减法等操作生成汇编代码。
- 最终成型的编译器可将微型语言编写的源代码编译为二进制可执行文件。