Kotlinは、型推論を備えた、クロスプラットフォームで静的に型指定された汎用プログラミング言語です。KotlinはJavaと完全に相互運用するように設計されており、その標準ライブラリのJVMバージョンはJavaクラスライブラリに依存していますが、型推論により構文をより簡潔にすることができます。Kotlinは主にJVMをターゲットにしていますが、JavaScriptまたはネイティブコード(LLVM経由)にコンパイルします。Kotlinは、Kotlin Foundationを介してJetBrainsとGoogleによって後援されています。Kotlinは、Androidでのモバイル開発のためにGoogleによって公式にサポートされています。2017年10月のAndroid Studio 3.0のリリース以降、Kotlinは標準Javaコンパイラの代替として含まれています。Android Kotlinコンパイラを使用すると、ユーザーはJava 6またはJava 8互換のバイトコードをターゲットにするかを選択できます。
ウェブサイト:
https://kotlinlang.orgカテゴリー
MacのKotlinの代替

17
IronPython
IronPythonは、.NETおよびSilverlightで実行されるPythonプログラミング言語の実装です。完全に動的なコンパイルを備えた対話型コンソールをサポートしています。

11
LiveScript
LiveScriptは、JavaScriptにコンパイルされる言語です。CoffeeScriptから派生したCocoのフォークです。

10

10

8

7

3

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