Luau

Gradually typed embedded scripting

Visit Luau official site

What it does

Luau extends Lua with gradual type checking, a scripting runtime, and tooling designed for embedded applications and their execution requirements.

When to use it

For a large script codebase, examine type and syntax documentation to understand the changes required by existing Lua code.

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