Cowgol 2.0：为微型系统打造的现代编程语言

项目介绍

Cowgol 2.0 是一款专为微型系统（如6502、Z80等）设计的实验性编程语言，灵感来源于Ada语言。其独特之处在于，Cowgol的目标是能够在8位微控制器上自我托管，即在这些设备上重新构建整个编译器。尽管目前尚未完全实现这一目标，但Cowgol已经具备了在PC上构建交叉编译器，然后将其编译为目标设备的能力。

项目技术分析

Cowgol 2.0 的编译器完全由自身编写，并且是自举的。其主要技术特点包括：

• 类型安全：Cowgol 是一款强类型语言，不支持隐式类型转换，确保了代码的安全性和可靠性。
• 表驱动后端：编译器的后端采用表驱动设计，易于移植。例如，80386后端的代码量仅为1.2k行，且无需对编译器进行其他更改。
• 体积小巧：80386 Linux编译器的二进制文件大小仅为70kB，8080 CP/M编译器为58kB，非常适合资源受限的微型系统。
• 编译速度快：在PC上，Cowgol 2.0 可以在80ms内完成自编译，效率极高。
• 全局分析：编译器支持全局死代码消除和静态变量分配，生成的二进制文件既小巧又高效。

项目及技术应用场景

Cowgol 2.0 适用于多种微型系统平台，包括但不限于：

• Z80 和 8080：在CP/M操作系统上运行。
• 6502 和 65c02：在BBC Micro上运行，支持Tube协处理器。
• 80386、ARM Thumb2、PowerPC、68000：在Linux系统上运行。
• 8086：在DOS系统上运行，生成64kB代码和64kB数据的.exe文件。

此外，Cowgol 2.0 还支持PDP11、6303、OBP空间飞行计算机等平台，尽管部分平台的系统调用库尚未完善，但编译器本身已经可以在这些平台上运行。

项目特点

Cowgol 2.0 的主要特点包括：

• 强类型语言：不支持隐式类型转换，确保代码的安全性和可靠性。
• 多平台支持：支持多种微型系统平台，易于移植。
• 体积小巧：编译器二进制文件体积小，适合资源受限的微型系统。
• 编译速度快：在PC上编译速度极快，效率高。
• 全局分析：支持全局死代码消除和静态变量分配，生成的二进制文件小巧高效。

总结

Cowgol 2.0 是一款专为微型系统设计的现代编程语言，具备强类型、多平台支持、体积小巧、编译速度快等特点。尽管目前仍处于开发阶段，但其潜力巨大，尤其适合需要在资源受限的微型系统上进行开发的开发者。如果你对微型系统编程感兴趣，不妨尝试一下Cowgol 2.0，或许它会给你带来意想不到的惊喜。

项目地址：GitHub - davidgiven/cowgol

许可证：Cowgol 2.0 采用2-clause BSD许可证，允许自由使用和修改，但不得声称是你编写的。