Haskell 是一种先进的纯函数式编程语言。作为二十多年前沿研究的开源成果，它能够快速开发出健壮、简洁且正确的软件。

提供 69 个替代方案

Scala 是一种基于 Java 虚拟机（JVM）的现代多范式编程语言，旨在以简洁、优雅且类型安全的方式表达常见的编程模式。

提供 70 个替代方案

D 是一种具有类似 C 语法和静态类型的语言。它实际地结合了效率、控制力和建模能力，同时兼顾安全性和程序员的生产力。

提供 67 个替代方案

一种并发函数式语言，内建支持容错、分布式和热插拔，专为电信、银行、电子商务和即时通讯等可扩展实时系统设计。具备垃圾回收和动态类型特性。

提供 37 个替代方案

Clojure 是一种动态编程语言，针对 Java 虚拟机（以及 CLR）而设计。它旨在成为一种通用语言，兼具脚本语言的易用性和交互式开发特性，同时提供高效且稳健的基础架构……

提供 70 个替代方案

F# 是一种简洁、富有表现力且高效的 .NET 功能性与面向对象语言，可帮助您编写简单的代码来解决复杂问题。

提供 70 个替代方案

Elixir 是一种动态、函数式语言，用于构建可扩展且易于维护的应用程序。

提供 69 个替代方案

Ceylon 是一种专为团队编写大型程序而设计的语言。

提供 67 个替代方案

Raku 统合了许多其他编程语言中通常找不到的优秀理念。虽然其他一些语言提供了其中某些特性，但没有一种语言能提供全部。

提供 18 个替代方案

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

提供 38 个替代方案

OCaml 是一种工业级编程语言，支持函数式、命令式和面向对象的编程风格。

提供 33 个替代方案

Red 是一种新的编程语言，深受 REBOL 的启发。

提供 17 个替代方案

Pyret 是一种编程语言，旨在作为编程教育的优秀选择，同时探索脚本编程与函数式编程的融合。它正处于积极的设计与开发中，且可免费使用或修改。

提供 9 个替代方案

一种快速、友好且功能强大的语言。

Kitten 是一种静态类型、基于栈的函数式编程语言，旨在简洁高效。它是一种组合型语言，融合了命令式编程和纯函数式编程的特点。

L2是一种编程语言，旨在将C语言的尽可能多的预处理器指令、控制结构、语句、字面量以及需要编译器支持的函数，转化为可在L2内部定义的内容。