Vala

High-level programming with GObject

Visit Vala official site

What it does

Vala provides static types and object-oriented syntax, compiles source to C, and integrates with the GObject ecosystem and its libraries used by native applications on supported platforms.

When to use it

For GTK applications, consult binding and signal guides to understand how language types correspond to native library interfaces.

Chapel

Language-level parallel and distributed computing

  • programming
  • types

Research

D

Systems programming with high-level abstractions

  • programming
  • types

Research

Elixir

Concurrent services on the Erlang runtime

  • programming
  • types

Research