Haskell

Haskell

Haskellは、高度に純粋に機能するプログラミング言語です。
Haskellは、高度に純粋に機能するプログラミング言語です。20年以上にわたる最先端の研究のオープンソース製品であるため、堅牢で簡潔で正しいソフトウェアを迅速に開発できます。他の言語、組み込みの並行性と並列性、デバッガー、プロファイラー、およびリッチライブラリーとの統合を強力にサポートします。
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プログラミング言語は、タイプセーフでクラスベースで開発された非同期性、局所性、原子性、および順序の4つの基本原則に基づいて編成されています。
Jabaco

Jabaco

Jabacoは、Visual Basicのような構文を持つシンプルなプログラミング言語です。Jabacoを使用すると、Javaをサポートするすべてのオペレーティングシステム用の強力なソフトウェアを作成できます。。
Wyvern

Wyvern

Wyvernは、開発者が高保証のアプリケーションを作成する際の生産性を高めるのに役立つように設計された新しいプログラミング言語です。
Quorum

Quorum

クォーラムプログラミング言語。-世界初の証拠指向プログラミング言語。
Objective-J

Objective-J

Objective-Jは、プログラミング言語の一部として開発された...
RhoMobile

RhoMobile

Webスキルを使用してネイティブアプリを1回作成し、業界初のスマートフォンアプリフレームワークであるRhodesを使用してすべてのスマートフォン向けに構築する
OCaml

OCaml

OCamlは、機能的、命令的、オブジェクト指向のスタイルをサポートする産業用強度プログラミング言語です。
Nim (programming language)

Nim (programming language)

Nimは静的に型付けされた、命令型プログラミング言語であり、ランタイムの効率を損なうことなくプログラマーに究極のパワーを与えようとします。
Guile

Guile

Schemeプログラミング言語の実装である、GNUユビキタスインテリジェント言語拡張機能。
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET（mottidotnet）は、視覚およびプログラミング機能を備えた高度なプログラミング言語です。信頼性の高いMotti.NETは、非常に安定していることが証明されています。
V (programming language)

V (programming language)

Vは、保守可能なソフトウェアを構築するために設計された、静的に型付けされたコンパイル済みプログラミング言語です。Goと似ており、Oberon、Rust、Swiftの影響も受けます。