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.9K
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!
Raúl Raja and David Mazarro from “Predictible Machines” do not trust AI-generated codes. They ensure the imput is correct regardless of the language.
#LW26 #YayYayConf
Daniel Ciocîrlan @danielciocirlan
shows us how to make development much easier in Scala and Eezo: a whole bookshop web app built in less than 30 minutes!
#WWW26 #YayYayConf
Binders in syntax trees, made easy. λ At Lambda World, Enrico Tassi introduced Elpi, a logic programming language descended from λProlog that you can embed into OCaml applications as an extension language.
#YayYayConf #LW26 #OCaml
Zhengyu Lei from MoonBit it teaching how to use a full-stack workflow with Moonbit
#LW26 #YayYayConf
Gradient descent, genetic algorithms, reinforcement learning... it’s all just iterate, reduce and map! 🧮 At Lambda World, @jiriknesl rebuilt operations research algorithms from scratch in Clojure.
#YayYayConf #LW26 #Clojure
If natural language is the vehicle of thought, programming language is the vehicle of software architecture.
@M_Wildwhisky on why MoonBit 1.0 brings functional programming to industry, at Lambda World. 🌙
#YayYayConf #LW26 #MoonBit
Day 2 of #LambdaWorld kicked off with Sebastian Ullrich showing how Lean can extend its own development environment from within itself. Great start to the day! 🛠️
#LeanLang #FunctionalProgramming
Simon Vergauwen makes the more functional services you may want at Functional Korlin Services talk!
#LW26 #YayYayConf
🍲Did we say great lunch?
An inspiring conference with delicious food & even better company is what we are😃✨
What would you get?!
#LW26 #YayYayConf
🤠 One the many reasons our speakers love this conference.... we like take them to visit a cool place within the Malaga region. Yesterday we went to @CaminitoDelRey_ and had a blast!
Thank you @diputacionMLG de Málaga!!
#LW26 #YAYYAYCONF
We're now figuring out how a protocol can fail, and then fixing them quirk Laura Bocchi and Laura Voltea #LW26 #YAYAYCONF
Lambda World retweeted
Polishing off a talk for @Lambda_World this week, love how Claude links the fraud prevention micro service to the bandit web server.
Our first keynote with Erik Meijer was all about how to survive what's coming next. According to Erik, the AI Apocalypse can wait. You have to Prove It Before You Run It
The AI Apocalypse Can Wait: Prove It Before You Run It
#YayYayConf #LW26
.@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.