​Agenda

• ​18:00: Welcome

• ​Presentation #1: Typing at the Edge - Raphael Gaschignard

• ​Presentation #2: Gleam + TypeScript: Full-Stack Type Safety With Inertia-Wisp - Mike Buhot

• ​20:00ish: Pack down, head to Criterion pub.

​Typing at the Edge

​When working on a multi-process system, type information can easily get lost at serialization or deserialization boundaries. For example, frontend code often needs to make a leap of faith when calling a backend API, and small projects will rely only on integration tests to make sure that you have wired things up correctly.

​We'll explore a couple of strategies to tackling this integration problem, looking at different ways to tie together a frontend and a backend at the type level, even if you are working in separate languages.

​Gleam + TypeScript: Full-Stack Type Safety With Inertia-Wisp

​Gleam developers love its functional simplicity, static types, and excellent error messages, but how do you convince a team with years of TypeScript expertise to give it a shot? This talk demonstrates two approaches to break down adoption barriers: smooth TypeScript interoperability and AI-assisted development. We’ll explore how Gleam’s unique properties make it the perfect backend counterpart to TypeScript frontends, with Inertia serving as the bridge that seamlessly connects these two worlds. Beyond type safety, teams gain the fault tolerance and scalability of the BEAM platform. Live demonstrations include sharing types and validation logic, server-side rendering, and how modern AI-enabled development can get you productive in hours, not weeks.