Lambda World 2024
2024-10-02..2024-10-04
Cádiz, Spain
[Lambda World 2015, Lambda World 2016, Lambda World 2017, Lambda World 2024, Lambda World 2025]
as the organisers put it
Experience the brilliance of functional programming at Lambda World in Cadiz, Spain. Join us from October 2nd to 4th, 2024, to connect with our (dis)functional family, dive into FP trends, and soak up the coastal charm of this must-attend event!
who it's for
functional programmers, Scala developers, backend engineers, language designers, runtime engineers, verification engineers, Erlang developers, Elixir developers
topics
effect systems with capture checking; JSON decoding in Roc; refinement types with Liquid Haskell; generational Cheney garbage collection; 64-ary persistent vector trie; tacit programming and APL primitives; resilient REST APIs with typed Haskell endpoints; arrays and APL-style primitives; BEAM concurrency primitives and hot code swapping; Livebook functional notebooks for Elixir; interpreter implementation from source to evaluator in Scala; rewrite system for Japanese number conversion
| title | author | length |
|---|---|---|
| Inventing a language (placeholder title) | Nicolas Rinaudo | 46m |
A step‑by‑step recipe for a working interpreter: source code → AST → pattern‑matching evaluator written in Scala, implementing numbers, addition, booleans and… | ||
| Surprise Session | Pepe el Calamar Campos | 19m |
MSF describes how emergency teams deploy within 24–72 hours to the 3–5 day acute window, triaging and setting up field hospitals, mobile clinics and water… | ||
| Interview | Stephen Taylor | 04m |
History traces APL back to Ken Iverson and shows how its notation directly inspires modern functional techniques, with concrete examples of tacit programming… | ||
| Roc-Solid Intuition for JSON Decoding | Monica McGUIGAN | 33m |
Builds a reusable JSON decoder library in Roc that models JSON as tag unions (string, number as unsigned 64‑bit int, boolean, object, array) and models… | ||
| Interview | Marta Ardizone | 02m |
Penpot is a free open-source design tool that claims to bridge designers and developers by exporting usable code and offering CSS Grid, Flex Layout and a Code… | ||
| Rethinking Effects with Effect Systems | Noel Welsh | 33m |
Effect systems are presented as a way to write normal, readable code while keeping effects local: code uses direct style descriptions of operations and… | ||
| Interview | Mitchell Franklin | 02m |
UMATR Group sponsors Lambda World and presents itself as a one-stop recruitment hub for backend and AI roles, listing Scala, Java, Kotlin, Golang, Rust and AI… | ||
| Concurrency Oriented Software | Robert Virding | 42m |
Erlang is presented as a pragmatic, telecom-driven language built to run hundreds of thousands of concurrent calls with tens of thousands of active processes… | ||
| Interview | Kim Morgan | 04m |
Built a small rewrite system that converts Japanese numeral phrasing into correct numeric output and reports that it fixes recurring errors from machine… | ||
| Concrete Functional Programming | Kamila Szewczyk | 36m |
Argues that functional languages win when the runtime and data structures are concrete: shows a generational Cheney copying GC that makes short-lived… | ||
| Interview | Juan Pedro Moreno | 02m |
Conference returns after five years and reconvenes a technical community focused on building and securing mission‑critical systems. Emphasis on a wide variety… | ||
| Interview | Ian Martinez | 02m |
Attendee from Portugal working backend at mandira describes coming to Lambda World at Palacio de Congresos Cádiz to learn concrete uses of functional ideas… | ||
| Resilient REST APIs: The case for Parallel Change | Abby Sassel | 39m |
Argues that switching integer policy IDs to nano‑ID strings becomes non‑breaking by adding new fields and running a three‑phase expand migrate contract… | ||
| Interview | Alcino Cunha | 03m |
Argues that lightweight formal methods are already simple enough to use in non‑critical, everyday software and demonstrates that by running an Alloy workshop… | ||
| Hooray for arrays | Stephen Taylor | 36m |
APL traces its notation to Ken Iverson and supplies built‑in array and matrix primitives that let expressions like sum(x) over tally(x) become a tacit fork… | ||
| Interview | Robert Virding | 04m |
Erlang exists as a concurrent, distributed language with built-in distribution and active fault‑containment so failures don’t take whole systems down. It… | ||
| Translating Japanese Numbers with Functional Programming | Kim Morgan | 29m |
Claims a working rewrite systems pipeline implemented in Scala implementation that turns mixed Japanese text (Arabic digits, kanji, English words) into a… | ||
| Functional effects in perspective | Vitaly Bragilevsky | 46m |
Traces effects to the 1994 paper extensible denotational language specifications and argues languages now add effects either as libraries or core features… | ||
| Interview | Chris Ford | 03m |
Argues that writing code makes music theory testable, using programmatic sound generation to model bird song and validate hypotheses rather than relying on… | ||
| Liquid Haskell: Verification with Refinement Types | Niki Vazou | 34m |
Liquid Haskell is a GHC plugin that checks refinement types and lets Haskell programs carry SMT-checkable predicates; it proves safe indexing and non-division… | ||
| Interview | José Valim, Abby Sassel | 07m |
Livebook is a browser-based computational notebook built for Elixir that makes concurrency and distribution first-class, reproducible by design and able to… | ||
| The Power of Function Composition | Conor Hoekstra | 42m |
Combinators from SKI calculus become practical tools across Haskell, APL, J, BQN, Jelly, Wewa, Clojure and Python, with concrete demos converting a naive… | ||
| Actions as data, continued | Alejandro Serrano Mena | 36m |
Kotlin coroutines convert user-friendly imperative DSLs (coin flips, loops, draw/discard) into an inspectable action ADT by marking primitives as suspend and… | ||
| Designing software with complex configurations | Alcino Cunha | 41m |
Shows how TLA+ (with TLC) and Alloy/Alloy 6 model a spanning‑tree echo protocol and catch a subtle config bug: two specific directed networks cause a… | ||
| Scala Sampler for Functional Soundscapes | Johanna Odersky | 27m |
A web-based sampler built on the Sounds of Scala library plays repitched samples across a scale using Scala.js and Typelevel Cats compiled from Scala 3, with… | ||
| Livebook: functional notebooks for AI and Web with Elixir | José Valim | 44m |
Livebook demonstrates Elixir/Erlang VM features via runnable notebooks that treat each cell as a pure function for reproducible execution, spins up one million… | ||
| The Butcherbird Combinator | Chris Ford | 43m |
Argues that modeling birdsong as exact harmonic multiples fits better than human 12‑tone tuning and connects that choice to emic vs etic risks in software… | ||
| An Imperishable Wonderland of Infinite Fun | William E. Byrd | 43m |
Claim: functional programming ideas are mainstream but logic programming deserves a revival. Uses miniKanren embedded in Scheme to build a relational… | ||
| nothing matches | ||