Lambda World

More Christmas gifts before Christmas? Check out the video of the talk "Starship Enterprise: Functional Programming at Huge Companies" by Jack Higgs in our last Lambda World https://lnkd.in/eZwUkyEY Remember that 𝐓𝐢𝐜𝐤𝐞𝐭𝐬 are already 𝐚𝐯𝐚𝐢𝐥𝐚𝐛𝐥𝐞 and our 𝐂𝐚𝐥𝐥 𝐅𝐨𝐫 𝐏𝐚𝐩𝐞𝐫𝐬 is open for our next edition! When: 𝐎𝐜𝐭𝐨𝐛𝐞𝐫 𝟐𝟗-𝟑𝟎, 𝟐𝟎𝟐𝟔 Where: 𝐏𝐚𝐥𝐚𝐜𝐢𝐨 𝐝𝐞 𝐂𝐨𝐧𝐠𝐫𝐞𝐬𝐨𝐬 𝐝𝐞 𝐓𝐨𝐫𝐫𝐞𝐦𝐨𝐥𝐢𝐧𝐨𝐬, Malaga, Spain. How: 𝐰𝐰𝐰.𝐥𝐚𝐦𝐛𝐝𝐚.𝐰𝐨𝐫𝐥𝐝 #FunctionalProgramming #Scala #SoftwareEngineering

𝐆𝐎𝐎𝐃 𝐌𝐎𝐍𝐀𝐃𝐒! 𝐁𝐈𝐆 𝐍𝐄𝐖𝐒 𝐅𝐎𝐑 𝟐𝟎𝟐𝟔! Santa 🎅 decided to come a couple of days early this year… and he’s bringing the BIG announcement for 2026 🎁 For the first time ever, Lambda World joins forces with J On The Beach and Wey Wey Web in THE YAY-YAY CONF. A mega-event with up to 4 parallel tracks, where attendees will enjoy talks and workshops on our favourite topics: Functional Programming, Category Theory, Formal Verification, Plus Systems, DevOps, User Interfaces & UX. All of this, and of course, talks and workshops on Software Engineering and AI. But wait… that’s not even the best part, folks! 👉 No more excuses if your company won’t pay for your ticket. We’re launching a limited edition of just 150 tickets at only €100 + VAT, exclusively for those whose companies politely refuse to support them. And yes: ✅ 𝐂𝐚𝐥𝐥 𝐟𝐨𝐫 𝐏𝐚𝐩𝐞𝐫𝐬 are NOW OPEN for all three events ✅ 𝐒𝐩𝐨𝐧𝐬𝐨𝐫𝐬𝐡𝐢𝐩 opportunities are also available So now you know. Don’t be a monad. 👉 Get your ticket. NOW. 𝐓𝐡𝐞 𝐘𝐚𝐲-𝐘𝐚𝐲 𝐂𝐨𝐧𝐟 📍 Where: Palacio de Congresos de Torremolinos, Málaga, Spain 📅 When: October 29–30, 2026 🎟️ Tickets: www.lambda.world/tickets #FunctionalProgramming #CategoryTheory #FormalVerification #DistributedSystems #DevOps #SoftwareEngineering #AI #YayYayConf #LambdaWorld #JOnTheBeach #WeyWeyWeb #CFP #DevEvents

🔵 IMDEA Software at Lambda World 2025! 💻 IMDEA Software participated in this international conference on functional programming, connecting with researchers and companies to explore the latest trends. 👉 Check out the full article: https://c.madrid/39owh

Our non-pro photos from the last Lambda World edition are now available on our Flickr account! Check them out! https://lnkd.in/d7yHXgcC A big thanks to David Mazarro for the good ones ;) #FunctionalProgramming #LambdaWorld25

"AI isn’t taking your job, but your company might start by cutting mine." I have written a blog post about the last Lambda World I organised last month in Cadiz. Check it! https://lnkd.in/dm6K8i6d #TechConferences #EventManagement

𝐂𝐨𝐮𝐥𝐝𝐧’𝐭 𝐠𝐞𝐭 𝐞𝐧𝐨𝐮𝐠𝐡 𝐨𝐟 𝐋𝐚𝐦𝐛𝐝𝐚 𝐖𝐨𝐫𝐥𝐝? 𝐖𝐞 𝐠𝐞𝐭 𝐢𝐭 Good news, some of the talks are already on our YouTube channel! If you missed one, want to rewatch your favorites, or you’re just feeling a little Lambda nostalgia, now’s the time to dive back in. More talks will be uploaded in the next few days, so keep an eye on the channel and don’t blink, or you might miss one! Run to YouTube and relive the magic: https://lnkd.in/dJuBeV56 #LambdaWorld #FunctionalProgramming #Talks

My keynote at the recent Lambda World conference in Cadiz, Spain. This is my take on the future of programming in the context of AI coding. I believe the age of the Skilled Coder is over and the age of System Builders has begun, and we need to start redefining what it means to have a computer science degree. See if you agree. https://lnkd.in/gE3gE8qv #lambdaworld

The Lambda World ’25 recap video is live! It was a truly 𝐥𝐚𝐦𝐛𝐝𝐚𝐬𝐭𝐢𝐜 ride: the last stronghold of Functional Programming in Southern Europe reunited in timeless Cádiz to toast with monadic potion and dive into hot AI-adjacent topics like 𝐶𝑜𝑟𝑟𝑒𝑐𝑡𝑛𝑒𝑠𝑠, 𝐹𝑜𝑟𝑚𝑎𝑙 𝑉𝑒𝑟𝑖𝑓𝑖𝑐𝑎𝑡𝑖𝑜𝑛, 𝑎𝑛𝑑 𝑅𝑒𝑓𝑖𝑛𝑒𝑚𝑒𝑛𝑡 𝑇𝑦𝑝𝑒𝑠, plus beloved staples: 𝐸𝑓𝑓𝑒𝑐𝑡 𝑆𝑦𝑠𝑡𝑒𝑚𝑠, 𝐷𝑆𝐿𝑠, 𝑛𝑒𝑤 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛𝑎𝑙 𝑙𝑎𝑛𝑔𝑢𝑎𝑔𝑒𝑠, 𝐷𝑒𝑐𝑙𝑎𝑟𝑎𝑡𝑖𝑣𝑒 𝑈𝐼𝑠, and many others. One thing’s clear: ⚡️𝐰𝐞 𝐦𝐚𝐲 𝐛𝐞 𝐟𝐞𝐰 𝐛𝐮𝐭 𝐭𝐡𝐞 𝐟𝐮𝐭𝐮𝐫𝐞 𝐢𝐬 𝐟𝐮𝐧𝐜𝐭𝐢𝐨𝐧𝐚𝐥. λ Huge thanks to our sponsors: Prima, Predictable Machines, JetBrains, Habla computing, IMDEA Software Institute, Scala Teams, and Nimblelogic. And gratitude to every speaker and attendee (some travelled from as far as New Zealand, thanks, Jack O'Brien! ). Enjoy and add a comment if you want to see us next year at Lambda World 26! #LambdaWorld #FunctionalProgramming #FP #TypeSystems #FormalVerification #RefinementTypes #EffectSystems #DSLs #Scala #Haskell #OCaml #AI #SoftwareEngineering #Cadiz #DeveloperCommunity #TypedFP #CategoryTheory #ProgramVerification #Monads #Immutable #TypeSafety #FSharp

We close out Lambda World this year with a panel discussion on "Does FP still matter in the era of AI?" with Raúl Raja Martínez, Jack Higgs, Isaias Bartelborth & Anurag M. What do you think? check out their response to the question here https://lnkd.in/eizS5Egs

Our diamond sponsor Prima takes to the stage with Functional Rust: From ADTs to Advanced Concurrency presented by Stefano Candori & Adrian Ramirez Fornell Thank you for assisting us with the conference this year and dont forget to see them to see what jobs are available.