OCaml

PureScript

编程语言

PureScript 最初由 Phil Freeman 于 2013 年设计。他开始开发 PureScript 是因为他对其他将 Haskell 编译为 JavaScript 的尝试（例如使用 Fay、Haste 或 GHCJS）不满意。

Crab Programming Language

编程语言

一个以植物真菌命名的语言的社区分支。拥有你喜爱的所有内存安全特性，现在 bureaucracy 减少了 100%。

J

编程语言

J 是一种高级通用编程语言，特别适用于数据的数学、统计和逻辑分析。它是一种强大的工具，可用于开发算法以及探索尚未充分理解的问题。

Q#（读作Q井）是一种用于表达量子算法的专用编程语言。它最初由微软作为量子开发工具包的一部分向公众发布。

Elm

编程语言

Elm 致力于让网页开发变得更加愉快。Elm 是一种类型安全的函数式响应式语言，可编译为 HTML、CSS 和 JavaScript。

ReasonML

编程语言

ReasonML 是 OCaml 的新面孔，结合 BuckleScript 后可让 Web 开发变得简单、稳健且类型安全。它具有出色的 JavaScript FFI 支持，并可轻松地逐步集成到现有项目中。

Poly/ML 对标准 ML 的实现——线程库和垃圾回收器全面支持多处理器，具备交互式调试器和快速编译器。

SML/NJ

软件

新泽西标准ML（简称SML/NJ）是用于Standard ML '97编程语言的编译器，附带相关库、工具和文档。