An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.
Torremolinos, Spain
Joined June 2015
- Tweets2.9K
- Following274
- Followers3.5K
- Likes3.8K
Pinned Tweet
FUNCTIONAL PROGRAMMERS OF THE WORLD, BEHOLD!
One of the few FP events left on Earth is landing in sunny Torremolinos this October.
Expect #FormalVerification, #TheoremProvers, #TypeSystems, #Lean, #Scala, #OCaml, #Erlang, #MoonBit and more.
Watch who’s joining us 👇
📅 Oct 29–30, 2026
🎟️ Get your ticket now!
.@moonbitlang joins us as a Bronze Sponsor of Lambda World 🐰
Their language compiles to small, fast WebAssembly and was built with AI tooling in mind. Come to the talk/workshop and learn about it!
📍 Torremolinos · Oct 29–30
#MoonBit #functionalprogramming #LambdaWorld
ALT Event-Banner: Bronze Sponsor MoonBit.
The AI apocalypse is almost here and tickets are almost gone - if only!
Unemployed or student with no tech experience? Apply for a free Tieso Ticket (Thu/Fri from 3 PM).
Don't be Papafrita get your ticket now!
lambda.world/tickets/
#AI #YAYYAYConf #LambdaWorld #functionalprogramming
200+ microservices, a tech hub in Málaga and a lion on the logo.
LeoVegas, the mobile gaming group, is a Platinum Sponsor of Lambda World. Thanks for backing the community!
📍 Torremolinos · Oct 29–30
#Kotlin #LambdaWorld
ALT Event banner: Platinum Sponsor LeoVegas Mobile Gaming Group.
Time series data piling up, and your monitoring bill with it?
@VictoriaMetrics, the open-source monitoring database built to be fast and light on resources, is a Bronze Sponsor of Lambda World!
📍 Torremolinos · Oct 29–30
#Observability #LambdaWorld
ALT Event-Banner: Bronze Sponsor VictoriaMetrics.
AI can write code. But how do you make it write CORRECT code?
@dhsorens from the Ethereum Foundation shows how Lean specs can constrain AI agents at Lambda World, with examples from SNARKs and zero-knowledge cryptography.
📍 Torremolinos · Oct 29–30
#Lean #FormalVerification #AI
ALT Event banner: Derek Sorensen, Researcher at the Ethereum Foundation, will give a talk on "Lean Is More Than a Proof Language" on October 29 - 30, 2026.
Your distributed system will time out, race and misbehave. What if those failures were part of the protocol?
Laura Voinea and Laura Bocchi show how to turn session types into runnable Erlang OTP state machines at Lambda World. Workshop included in your ticket!
📍 Torremolinos · Oct 29–30
#Erlang #LambdaWorld #Workshop
ALT Event banner: Laura Bocchi, Reader at University of Kent, and Laura Voinea, Researcher at University of Glasgow, will host a workshop on "Mixed Choices: Taming Failures with Session Types in Erlang" on October 29 - 30, 2026.
Greenhouse gas quotas sound like pure paperwork. Not if the software does it for you.
That's Carbonify's job for e-car drivers, and they're now a Bronze Sponsor of Lambda World. Thanks!
📍 Torremolinos · Oct 29–30
#LambdaWorld #GreenTech
ALT Event banner: Bronze Sponsor carbonify.
.@tarides_ is a Silver Sponsor of Lambda World!
The OCaml folks behind MirageOS and Irmin, building secure, resource-efficient infrastructure in functional code. Thanks for backing the community, Tarides!
📍 Torremolinos · Oct 29–30
#LambdaWorld #OCaml
ALT Event banner: Silver Sponsor Tarides.
Less than a month until Lambda World lands in Torremolinos!
Functional programming, type systems, formal verification and ideas that make your brain hurt in a good way.
One ticket, four tracks, 16 workshops. Prices just went up, so don't be Papafrita!
Unemployed, or a student with no tech work experience? Apply for a free Tieso ticket!
📍 Torremolinos · Oct 29–30
#LambdaWorld #FunctionalProgramming
Lambda World retweeted
Scala Times Issue #629 - a special all-events edition: scalatimes.com/be439e050d - Berlin, Stockholm, SF, Chicago, NYC, Málaga. @VirtusLab is on tour! Scala Days Berlin, then across the US. Powered by @scaladays @sfscala @JOTBConf @lambda_world & others, thx!
Do we really need another framework? @danielciocirlan thinks maybe yes, if it borrows the best of Django, Rails and Spring and stays unapologetically Scala.
He'll live-code it at Lambda World: minimal config, no effect system needed.
📍 Torremolinos · Oct 29–30
#Scala #LambdaWorld #Framework #Programming
ALT Event banner: Daniel Ciocîrlan, Founder @ Rock the Code, will give a talk on "Shopping for a Scala Framework" on October 29 - 30, 2026.
Lambda World retweeted
OxCaml mentioned!
OxCaml is having a moment.
Join Carine Morel from Tarides for a hands-on workshop on making concurrent OCaml safer by construction: use its mode system to rule out unsafe sharing at compile time.
Lambda World · Málaga · 29–30 Oct
#OCaml #OxCaml #Concurrency #LW26
ALT HEadshot of Carine and title of her workshop
OxCaml is having a moment.
Join Carine Morel from Tarides for a hands-on workshop on making concurrent OCaml safer by construction: use its mode system to rule out unsafe sharing at compile time.
Lambda World · Málaga · 29–30 Oct
#OCaml #OxCaml #Concurrency #LW26
ALT HEadshot of Carine and title of her workshop
The coolest hair in tech is coming to Málaga. And so is Arman Bilge.
The Cats Effect core maintainer explains why fast multithreaded runtimes sometimes embrace deliberately racy data structures, and how that leads to the happy path.
Lambda World · 29–30 Oct
#Scala #CatsEffect #Concurrency
ALT HEadshot of Arman and title of his talk
HASKELLERS of the World, BEHOLD!
Stephanie Weirich @fancytypes brings dependent types to everyday Haskell, using the rebound library to make invalid states impossible to represent.
Don´t miss her @Lambda_World · Málaga · 29–30 Oct
#Haskell #DependentTypes #TypeSystems
ALT HEadshot from Stephanie and title of her talk "Adventures in Dependent Haskell: Well-scoped expressions".
OTP wasn’t invented in a vacuum. It was forged out of industrial necessity.
Francesco Cesarini @francescoC, from the original OTP team, traces 30 years from BOS to Elixir: supervisors, generic servers and state machines.
Lambda World · Málaga · 29–30 Oct
#Erlang #Elixir #OTP
ALT HEadshot of Francesco and title of his talk under the Lambda Style
AI can write code faster than ever. But can it prove the code does what it is supposed to do?
At @Lambda_World, David Mazarro & Raúl Raja @raulraja from @AIPredictable ask exactly that in “Towards Multi-language Program Verification for AI”.
Generating software is becoming easy. TRUSTING it is hard.
29–30 Oct, 2026
Torremolinos, Malaga. Spain
#Lean4 #FormalMethods #AI #LambdaWorld
ALT Headshots from David and Raul and title of their talk
Lambda World retweeted
Continue on why MoonBit is the language of AI (and not Rust) ? Lanuage designed for agents requires not only memory-safe, but sandboxed. Not only fast runtime but also fast to iterate. Not testable — provable.
Rust ships one of three. MoonBit, all three. 🧵
Can a type system make machine learning code better?
At Lambda World, Jan Ypma shows how Scala can track tensor dimensions, data types and devices at compile time, while keeping PyTorch’s GPU performance.
From matrix multiplication to transformers: let the compiler do more work.
📍 Torremolinos, Málaga
🗓️ Oct 29–30, 2026
#Scala #MachineLearning #PyTorch
ALT Headshot of Jan Ypma and title of his talk under the Lambda look and feel.