Your next favorite programming language: Gleam
summary
Gleam claims a practical, production 1.0 language (Mar 4) with sound Hindley-Milner types, exhaustively checked pattern matching, and built‑in Result/Option error handling so errors are values not exceptions. It compiles to the BEAM for OTP actors and millions of green threads (demo: spawning 100,000 tasks) and also to JavaScript with generated .d.ts files, enabling compile to BEAM and JS reuse. Tooling is a single gleam binary with LSP, hex package support, and docs; used to build a Twitch SDK that typechecks and runs.
AI-written summary · about
chapters (11)
- 0:00Introduction and speaker background
- 1:24Programming language landscape
- 6:26Speaker's programming journey
- 28:40Introducing Gleam
- 35:06Gleam's sound type system
- 38:19Errors as values in Gleam
- 42:56Sum types and pattern matching
- 46:46First-class concurrency
- 55:35Developer experience in Gleam
- 59:23Write once run anywhere
- 1:00:27Is Gleam perfect?
related talks
41mGleam: Lean BEAM typing machine
38mA Code Centric Journey Into the Gleam Language
34mInterview with Louis Pilfold on Elixir Gleam
21mOTP and Gleam
25mTime, Hard Problems, other Hard Problems, Gleam
19mBridging the Gap with Gleam & Lustre
47mPurescript on the BEAM; Typed OTP for greatness
32mElixir for the rubyist