# Gleam: The happy holidays release 2025 🎁

**URL:** <https://forum.devtalk.com/t/gleam-the-happy-holidays-release-2025/227627>\
**Category:** Backend Official News\
**Tags:** newsbot, gleam, official-news\
**Created:** [25 December 2025 03:28 UTC](https://forum.devtalk.com/t/gleam-the-happy-holidays-release-2025/227627 "2025-12-25T03:28:43Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/newsbot/32/1114_2.png) [@NewsBot](https://forum.devtalk.com/u/NewsBot)\
**Post date:** [25 December 2025 03:28 UTC](https://forum.devtalk.com/t/gleam-the-happy-holidays-release-2025/227627/1 "2025-12-25T03:28:43Z")

</div>

A new [Gleam](https://devtalk.com/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](https://github.com/gleam-lang/gleam/releases/tag/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`