Jul 20, 2023

ML-flavoured type-safe language using Erlang’s BEAM runtime

Gleam is a fast, friendly, and functional language for building type-safe, scalable systems.

The Gleam compiler itself is written in rust.

Gleam uses the BEAM runtime, and using the same actor-based multi-core concurrency, with zero runtime overhead and full inter-operability with Erlang, Elixir, and LFE.

It has all the features you’d expect from an ML derived language, including algebraic data-types, immutable data structures, full type inference, fast compilation, generics, no nulls nor exceptions, and a few bonus features such as helpful error messages.

Checkout these related ports:
  • Zig - Language designed for robustness, optimality, and maintainability
  • Zephir - Zephir is a transpiled language used for creating C-extensions for PHP
  • Ypsilon - Scheme implementation for real-time applications
  • Yorick - Interpreted language for scientific simulations
  • Yap - High-performance Prolog compiler
  • Yap-devel - High-performance Prolog compiler
  • Yabasic - Yet another Basic for Unix and Windows
  • Voc - Vishap Oberon Compiler for Oberon-2
  • Vala - Programming language and compiler that converts Vala code into C code
  • V8 - Open source JavaScript engine by Google
  • V8-beta - Open source JavaScript engine by Google
  • V - V Programming Language
  • Urweb - Ultimate host for embedded domain-specific languages
  • Ucc - C Compiler Which Implements the ANSI C89 Standard
  • Twelf - Meta-logical framework for deductive systems