Gleam: The happy holidays release 2025 🎁

[NewsBot]

A new Gleam blog post/announcement has been posted!

Merry Christmas and happy holidays everyone! Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Gleam v1.14.0 is our Xmas gift for you, let's unwrap it and take a look inside.

External annotations for external types

Gleam doesn't exist in a vacuum, instead builds upon the existing Erlang and JavaScript ecosystems. It's not uncommon for Gleam programs and libraries to internally make use of code written in other languages in the same ecosystem, and Gleam code can be called from those languages too. To help with the interoperability between these languages the Gleam compiler can generate Erlang type specifications and TypeScript declaration files, which can be used with external type checkers and static analysis tooling to ensure the various languages are calling each other's code correct.

// Function written in Gleam
pub fn greet(name: String) -> String {
  "Hello, " <> name <> "!"
}

% Generated Erlang type spec
-spec greet(binary()) -> binary().
</code...

Get the full details here: The happy holidays release 2025 🎁 | Gleam programming language