---
title: "Formalising external APIs"
url: https://daily.dev/posts/formalising-external-apis-lklv1zwk1
source_url: https://gleam.run/news/formalising-external-apis
type: article
source: "Gleam"
published: 2025-10-19T12:38:06.019Z
updated: 2025-12-08T02:20:03.690Z
tags: ["compiler", "erlang", "gleam", "javascript"]
reading_time: 25
upvotes: 55
comments: 1
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Formalising external APIs

**[Gleam](https://daily.dev/sources/gleam)** · 25 min read · 55 upvotes · 1 comments

## Summary

Gleam v1.13.0 introduces formalized external APIs for JavaScript interop, allowing safer integration with external code through dedicated functions for constructing and accessing Gleam data types. The release includes significant compiler improvements: enhanced bit array exhaustiveness checking with interference-based pruning, unused argument detection in recursive functions, and better fault-tolerant analysis. The language server gains multiple new code actions including extract function, collapse nested cases, and pattern matching helpers. Additional improvements include better error messages for common syntax mistakes from other languages, dependency version change notifications, and enhanced type display in documentation.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://gleam.run/news/formalising-external-apis>

## Community discussion

Top comments from developers on daily.dev.

**@malsawmtluangachhangte** · 0 upvotes

> Gleam is gonna be best for Dashboard backend.

## Similar posts on daily.dev

- [JavaScript source maps](https://daily.dev/posts/javascript-source-maps-fx5gq2l1b) · Gleam · 6 upvotes · 0 comments
- [A field day for Gleam’s language server](https://daily.dev/posts/a-field-day-for-gleam-s-language-server-gbjw3bzqc) · Gleam · 5 upvotes · 0 comments
- [Gleam update shines on external types](https://daily.dev/posts/gleam-update-shines-on-external-types-mtgm30k2o) · InfoWorld · 0 upvotes · 0 comments

---

Tags: [#compiler](https://daily.dev/tags/compiler), [#erlang](https://daily.dev/tags/erlang), [#gleam](https://daily.dev/tags/gleam), [#javascript](https://daily.dev/tags/javascript)

[View this post on daily.dev](https://daily.dev/posts/formalising-external-apis-lklv1zwk1)