Cmc 用于Cm编程语言的编译器。 Cm是一种静态类型的本地语言(针对LLVM和GLSL),具有一流的lambda和强大的类型推断功能。 该语言没有function ,它将其视为lambda变量。 通过编译时内联,功能样式代码可以像命令式样式代码一样快地运行。 该语言没有子类型,它使用结构和扩展方法组织数据。 也许会有可选的HM型系统和面向Kong的编程(如Idris)。 文件 二手项目