Haskell

Haskell

Haskell是一种高级的纯功能编程语言。
Haskell是一种高级的纯功能编程语言。这是经过二十多年尖端研究的开源产品，它允许快速开发健壮，简洁，正确的软件。对与其他语言的集成，内置的并发和并行性，调试器，分析器和丰富的库提供了强大的支持。
haskell

网站:

特征

分类目录

具有任何许可的所有平台的Haskell替代品

Ada

Ada

Ada 2012是用于工程安全，可靠和可靠软件的下一代全球顶级编程语言。
Raku

Raku

Raku（以前称为Perl 6）是Perl编程语言家族的成员。
Avian

Avian

Avian是一种轻量级虚拟机和类库，旨在提供Java功能的有用子集，适用于构建独立的应用程序。
Factor

Factor

Factor编程语言将强大的语言功能与功能齐全的库结合在一起。
X10 (programming language)

X10 (programming language)

X10编程语言围绕异步，局部性，原子性和顺序的四个基本原则进行组织，这些原则是在类型安全的，基于类的基础上开发的。
Jabaco

Jabaco

Jabaco是一种简单的编程语言，具有类似于Visual Basic的语法。Jabaco使您能够为所有Java支持的操作系统创建功能强大的软件。。
Wyvern

Wyvern

Wyvern是一种新的编程语言，旨在帮助开发人员在编写高安全性的应用程序时提高工作效率。
Quorum

Quorum

法定编程语言。-世界上第一种循证编程语言。
Objective-J

Objective-J

Objective-J是作为...的一部分开发的一种编程语言。
RhoMobile

RhoMobile

使用您的网络技能一次编写NATIVE应用程序，并使用行业首个智能手机应用程序框架Rhodes为所有智能手机构建应用程序
OCaml

OCaml

OCaml是一种工业强度编程语言，支持功能，命令式和面向对象的样式。
Nim (programming language)

Nim (programming language)

Nim是一种静态类型化的命令式编程语言，它试图在不影响运行时效率的情况下赋予程序员最大的能力。
Guile

Guile

GNU无处不在的智能扩展语言，是Scheme编程语言的一种实现。
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET（mottidotnet）是一种具有可视和编程功能的高级编程语言。可靠的Motti.NET已被证明非常稳定。
V (programming language)

V (programming language)

V是设计用于构建可维护软件的静态类型的编译程序语言。它与Go相似，也受Oberon，Rust和Swift的影响。