Haskell

V 是一种静态类型编译型编程语言，旨在构建可维护的软件。

用于开发iOS、macOS、watchOS、tvOS和visionOS应用的开源编程语言，具有安全性、高效性、类型推断、泛型、原生代码编译、面向协议的设计、内存管理、Playgrounds、包管理器以及与Objective-C的互操作性。

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

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

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

Racket 是一种通用编程语言，也是世界上首个面向语言编程的生态系统。

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

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