I'd say Julia, Elixir, Rust and Kotlin have broken into mainstream, Agda, Nim, Idris, Pony and Haxe have their niche. Gosu is the only one where I know it only

I'd say Julia, Elixir, Rust and Kotlin have broken into mainstream, Agda, Nim, Idris, Pony and Haxe have their niche. Gosu is the only one where I know it only as a language and am not aware of people using it.