Lambda World

What is the origin of Lambda? Why does everything go back to Cadiz? Only 2 weeks for Lambda World 2025 - October 23-24 - lambda.world/tickets/ #FunctionalProgramming #Lambda #CategoryTheory #TypeSystems #Haskell #Scala #OCaml #Rust #Elixir

The Art of Functional Web Apps Wendy Randolph compares building web apps in Clojure and Elixir; two functional languages, two very different approaches. See how language design shapes architecture, tooling, and dev workflows in unexpected ways More here:…

Rust meets functional programming, and the result is powerful. Join Stefano Candori and @AdrianRaFo from Prima as they walk you through turning chaotic Rust code into something clean, reliable, and highly performant. They’ll kick things off with solid data modeling, dive into…

What if your AI coding assistants actually understood your specs every single time? Moisés Macero García shows how to turn vague business needs into precise, actionable instructions using actor-based modeling. In this workshop, you’ll learn to orchestrate specialized AI agents…

What if pattern matching could make music? Join Luca Dei Zotti, Engineering Manager at Prima, for a hands-on workshop where Elixir becomes your instrument. You’ll build a real-time generative music system where pure functions compose melodies, concurrent processes play the…

What if complexity wasn’t just a problem… but a sin? Volodymyr Yaroslavskyi, Scala Developer at @jpmorgan , takes on one of the sneakiest code killers out there: uncontrolled complexity. That shiny new side project? Without discipline, it’s just one pull request away from…

What do you get when two functional programmers meet the world’s fastest time-series database? Kevin Oscar Arce Vera and Christian Aberturas will show you in their workshop featuring KDB-X the newly available, free-for-non-commercial-use version of KX’s ultra-fast time-series…

What happens when a theoretical physicist sets out to build a functional language in Scala? Join Sergei Winitzki for a deep dive into creating a Dhall-inspired functional language from scratch entirely in Scala. Imagine Haskell-style syntax brought to life through Scala…

Say it --> See it --> Your UI comes alive. Describe your UI, and watch it build itself. Adam Granicz @granicz shows how AI + a custom DSL can turn your words into real WebSharper + F# apps...fast. See more: lambda.world/speakers/?spea… #AI #WebDevelopment #DSL #FSharp…

OCaml, multicore, and a dash of magic? Merlin might not cast spells, but it makes OCaml feel magical. Sonja Heinze and Carine Morel from @tarides_ will show how they run Merlin on a separate core for faster tools and happier developers. No OCaml experience needed, just…

Calling all Kotlin fans! Mikhail Zarechenskii, Lead Language Designer at @jetbrains , is about to show a surprisingly elegant way to handle effects in Kotlin; no effect handlers, no extra complexity. In his talk at Lambda World 2025, it all starts with functions… and leads to…

Functional Language Implementation? Check this! Check out Sergei Winitzki’s video where he spills the beans about his upcoming workshop for Lambda World 2025! If you’re curious about building a functional language in Scala, this is your jam. Everything is explained clearly and…

How badly do you want to be at Lambda World? We’re giving away 𝟓 𝐋𝐀𝐒𝐓 𝐂𝐀𝐋𝐋𝐀𝐌𝐀𝐑 𝐓𝐈𝐂𝐊𝐄𝐓𝐒 + 𝟑 𝐭𝐢𝐜𝐤𝐞𝐭𝐬 𝐚𝐭 𝟓𝟎% 𝐎𝐅𝐅! Just fill out the form below and tell us why YOU deserve a ticket. Winners announced Monday, October 6. Your chance starts here:…

The Mastermind behind Refinement Types, at Lambda World 2025! Have you ever wondered if types in programming languages can do more than just describe data? What if they could think? What if your code could be proven correct before it even runs? Jorge Luis Mayoral Pérez and Juan…

Sketching Functional Streams Lambda World... Dive Into the Flow! Functional streams are everywhere. But truly understanding how they work? That’s a different story. And that’s where Zainab Ali comes in. In her talk, "Sketching streams with aquascape", she will take us on a…

Applying Functional Programming to make AI more reliable? HELL YEAH! AI isn’t only about big data and neural networks there’s also a world where logic leads the way... That’s where Alexander Gryzlov, proof engineer, steps in. In his talk, he’ll show how classic techniques get a…

HEY Lambda World, ready to tame the wild world of LLM prompts? Ignacio Gallego Sagastume brings over 20 years of software experience and a passion for Functional Programming and Scala. In this talk, he will demonstrate how a Scala DSL can transform chaotic prompts into order.…

See You in the UI Lane, Lambda World!! What if building user interfaces could be simple, declarative and actually work at scale? In this talk, Damián Soriano takes us inside a UI library his team has been crafting for over a decade at Standard Chartered Bank. Damián will walk…

Aeon: The Future of Code at Lambda World!! Forget autocomplete. Alcides Fonseca is going to share a world where the programming language writes the code for you, intelligently, correctly, and with your intent in mind. In his talk, he will walk us through Aeon, a new language…