- 授权协议: BSD
- 开发语言:
- 操作系统: 跨平台
- 软件首页: https://cakeml.org/
- 软件文档: https://github.com/CakeML/cakeml
- 官方下载: https://github.com/CakeML/cakeml.git
软件介绍
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。
CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。
我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (http://www.polyml.org)。
示例构建指令可以在build-instructions.sh找到。
集创思维设计矩阵
慈思远 / 电子工业出版社 / 2017-4 / 72.00元
《集创思维设计矩阵——写给互联网人的设计指南》总结了作者从业7年以来的设计经历，在大量企业所面对的设计问题基础上，提出了枪型思维，即如何给产品更准确的定位。 在定位准确的基础上加以设计，提出了设计中高维度融合低维度的设计思维，即设计者可以从商业逻辑推演到设计逻辑，让设计更加精确；又提出了设计和计算的博弈，指出在每一步创新的基础上，设计者一定要清晰地评判设计的代价。这样设计后的产品才是可以和企......一起来看看 《集创思维设计矩阵》 这本书的介绍吧!
