F#

Typed functional application development

Visit F# official site

What it does

F# provides functional programming with type inference, pattern matching, and interoperability with .NET libraries, allowing application logic to use typed data and composable functions.

When to use it

For business data with distinct states, use discriminated-union examples to model those states and pattern matching to organize handling.

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