The latest update to Gleam, version 1.14.0, brings significant improvements for developers working with external types. Released on December 25, the update expands how Gleam handles types imported from outside sources like Erlang and TypeScript. This makes it easier for programmers to work seamlessly across different languages and platforms.

Support for External Types Simplifies Cross-Language Integration

One of the main features in Gleam 1.14.0 is support for the @external annotation on external types. This lets programmers specify type definitions from Erlang or TypeScript, giving clearer type hints when working across these languages. According to Gleam creator Louis Pilfold, this helps in defining external types more explicitly, making code easier to understand and maintain.

Previously, Gleam could reference external types but couldn’t specify detailed definitions. Instead, the compiler defaulted to a generic “any” type, which offered little type safety. With this update, developers can now link to specific Erlang or TypeScript types, improving the accuracy of type checking and reducing errors in cross-language projects.

Performance Boosts and Pattern Matching Improvements

Gleam 1.14.0 also introduces enhanced inference-based pruning. This optimization speeds up pattern matching, especially on binary data. The update extends this optimization to handle integer segments as well, making pattern matching more efficient and reducing runtime overhead.

Another key improvement is number normalization. Gleam supports various number formats, like decimal, octal, hexadecimal, and scientific notation. The new version internally normalizes these different representations into a single, consistent format. This helps the compiler analyze code more effectively and enables further optimizations, such as interference-based pruning, which can eliminate unnecessary code paths.

Additional Enhancements for Developers

Performance for equality testing has also been improved, particularly for custom type variants without fields when compiling to JavaScript. This results in faster comparison operations, which can be noticeable in large or complex applications.

The record update syntax has received a useful update as well. Developers can now use this syntax in constant definitions, making it easier to create constant records based on other constants. This small change simplifies code and improves readability.

Finally, Gleam 1.14.0 updates its compatibility with the latest Elixir compiler API. It fixes warnings that were previously emitted when using newer versions of Elixir, ensuring smoother integration and fewer issues during development.

Overall, these updates make Gleam more powerful, faster, and easier to work with, especially for projects that span multiple languages and require robust type safety.

Inspired by

• https://www.infoworld.com/article/4117616/gleam-update-shines-on-external-types.html

Sources

• gleam.run
• github.com