OCaml

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

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

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

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

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

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