Cake 是一个以 C 语言编写的 C23 前端和转换器
Kernighan & Ritchie,《C 编程语言》,1978年:
"C 是一种通用的编程语言,具有表达方式简洁、现代的控制流程和数据结构,以及丰富的运算符集。C 既不是一种"非常高级"的语言,也不是"庞大"的语言,也不是专门用于某个特定领域的应用。但由于它不受限制且通用性强,因此在许多任务中比那些据说更强大的语言更方便、更有效。" 《根据我们的经验, C 已经证明是一种适用于各种程序的愉快、表达力强且多功能的语言。它易于学习,而且随着使用经验的增长,它的性能也会越来越好。》
Kernighan & Ritchie,《C 编程语言》第二版,1988年:
_「正如我们在第一版前言中所说的那样，C「随着使用经验的增长而变得更好。」经过十年的经验积累，我们仍然持这种看法。」 _C 无处不在。从操作系统到嵌入式设备，从 从高性能应用到基本技术, C 为我们依赖的技术提供动力 每一天。永恒、高效、普适。 _人工智能现在编写的代码在可以阅读、验证的地方运行最好 而且可信。一个没有隐藏机制的小语言。C 给机器提供了 速度、人类控制和平台独立性。
Cake 是由人类从头开始用 C 编写的编译器前端,实现了 C23 语言规范及更高级的功能。它作为一个平台,用于实验新功能,包括 C2Y 语言建议、安全性增强以及扩展,如字面函数和延迟语句。当前的后端生成与 C89 兼容的代码,可以与现有或旧的编译器进行并行处理,生成可执行文件。Cake 的目标是通过提供高质量的警告消息和先进的流分析,包括对象生命周期检查来提高 C 的安全性。
注意: Cake 仍处于开发阶段,尚未达成稳定版本。Cake 可作为静态分析器与其他编译器一起使用。它生成 SARIF 文件,
暂无开放 Issues，或尚未同步最近议题。