CakeML —— 函数式编程语言
CakeML 是 ML 的证明实现，是个函数式编程语言，包含一个编译器和运行时系统。
CakeML 基于 Standard ML 实质性的子集，是高阶逻辑的特定语义。CakeML 的编译器算法也是在高阶逻辑有描述，已经证明可以把 CakeML 程序转换成语义等价的机器代码。CakeML 是自由软件。
CakeML 主页：https://cakeml.org/
GitHub 地址：https://github.com/CakeML/cakeml
OSP(Open Source Pie)介绍新奇，有趣，实用的免费开源软硬件，为IT爱好者提供了一个发现、使用、并交流开源技术的平台
CakeML 是 ML 的证明实现，是个函数式编程语言，包含一个编译器和运行时系统。
CakeML 基于 Standard ML 实质性的子集，是高阶逻辑的特定语义。CakeML 的编译器算法也是在高阶逻辑有描述，已经证明可以把 CakeML 程序转换成语义等价的机器代码。CakeML 是自由软件。
CakeML 主页：https://cakeml.org/
GitHub 地址：https://github.com/CakeML/cakeml
发表回复