MLton
MLton是开源的Standard ML的全程序优化编译器。MLton开发始于1997年，并由世界范围的开发者和用户社群持续开发着，现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。 MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和模块化编程。它还通过MLBasis系统，简化模块化和名字空间管理，致力于促进。作为全程序编译器，它显著的缺少在Standar…
标签：#ML语言家族
共 6 篇文章
新泽西Standard ML
新泽西Standard ML（“Standard ML of New Jersey”或简写SML/NJ：新泽西标准元语言），是针对Standard ML编程语言的自由且开源的编译器和编程环境，它还支持Concurrent ML。除了它的运行时系统是用C写成之外，SML/NJ大部份是用Standard ML写成的。它最初是贝尔实验室和普林斯顿大学联合开发的。 它的名字参考了普林斯顿大学和贝尔实验室所在地新泽西州和在二十世纪早期著名的石油垄…
Reason语言
Reason也叫做ReasonML，是OCaml的一个扩展和工具链，它由还创建了React的Jordan Walke创建于Facebook。Reason提供了JavaScript编程者熟悉的语法，并可以转译成OCaml。静态类型的Reason（或OCaml）代码可以使用ReScript编译器编译成动态类型的JavaScript。 Reason社群官方提供了ReasonReact作为给基于web应用的React的解决方案。 参见 Elm：…
Concurrent ML
{{Infobox programming language | name = Concurrent ML | logo = | paradigm = 并发计算 | family = ML | year = | designer = John Reppy | latest release version = | latest release date = | typing = | implementations = SML/NJ，MLt…
Futhark语言
Futhark是一个函数式、数据并行、阵列编程语言，最初于哥本哈根大学（DIKU）作为HIPERFIT（财务信息技术的函数式高性能计算）计划的一部份而开发。它聚焦于确使以函数式风格书写的数据并行程序，可以高性能的执行于大规模并行硬件上，特别是在GPU上。Futhark强烈的受到启发，但是为了确使更具进取性的编译器优化，对如何表达并行施加了约束。特别是，不支持非正规的嵌套数据并行。 概述 Futhark是属于ML家族的语言，它具有从OCa…
Ur语言
Ur也叫作Ur/Web，是一个自由和开源的函数式编程语言，专门用于web开发，由Adam Chlipala在麻省理工学院创建，它从一个单一的程序产生服务器代码、web浏览器客户端代码、和特定于选择的数据库后端的SQL代码。 概述 Ur的语法基于了Standard ML，然而语言也包括来自Haskell的概念，具有额外的类型操纵。Ur支持一种基于行类型的强力的元编程，有着勾画每个构件的额外注释： 接口文件（类似ML的签名）具有.urs扩展…