🎥 Dive into ADTs! @NicolasRinaudo explains how Algebraic Data Types help create strong data invariants and eliminate illegal states. GADTs? This 2024 #LambdaDays talk got those too. ADTs like never before! #FunctionalProgramming

Let’s kick off this week with a trip down memory lane! #LambdaDays 2024 was an incredible experience filled with insightful talks, groundbreaking ideas, and inspiring discussions. Relive the highlights by watching keynotes from some of the brightest minds in functional programming, including: @xnningxie, Dame Muffy Calder, Rinus Plasmeijer, @avsm and many more. 📺 Watch the full playlist here:

We’re beyond thrilled to have such an amazing team working through all the incredible submissions for this year’s conference! 🎉 And wow, this year has truly blown us away as we’ve already received 70+ proposals from the brightest minds in functional programming! 💡 A huge shoutout to our Programme Committee for their dedication: 👏 John Hughes (@rjmh) – Co-Designer of Haskell and QuickCheck 👏 Mary Sheeran – Professor at Chalmers 👏 Simon Thompson (@thompson_si) – Computer Science Researcher at University of Kent and ELTE 👏 Katja Mordaunt – Tech-for-better Developer & Elm Advocate 👏 Philip Wadler – Co-Creator of Haskell, Professor at University of Edinburgh 👏 Łukasz Sowa (@luksow) – Managing Partner at Iterators, Scala Aficionado 👏 Samantha Wójtowicz – Embedded Software Developer Flirting with Clojure 👏 Radek Szymczyszyn (@erszcz) – Tech Lead at Erlang Solutions 🔥 If you’re still thinking about submitting - don’t wait! Only 2 more days left to send in your proposal! ⏳ 🎤 Submit now:

🎥 Elixir + gradual set-theoretic types = mind-blown! @duboc_guillaume explains how shifting complexity from the type-checker to type representation opens new possibilities. Curious about dynamic, static, and gradual types? Watch now the video release from Lambda Days 2024!

🎥 Who needs React or Vue when you’ve got Elm? Sophie Collard shares lessons learned from building a 10k LOC Elm codebase! 🖥️ Find out why Elm is the frontend superhero we didn’t know we needed. Watch now! #LambdaDays #FunctionalProgramming #FrontendDev

RT @rjmh: This is the last week to submit an abstract to Lambda Days--we've had excellent submissions so far, it's going to be particularly…

Only 6 days left! We're calling on all innovators, creators, and problem-solvers to share their passion projects, groundbreaking ideas, and ambitious endeavours. Whether it's an eye-opening concept, a brain-teasing challenge, or a fresh perspective on #FunctionalProgramming, we want to hear from you! This is your chance to showcase your work, inspire the community, and contribute to the ever-evolving world of cutting-edge technology. Don’t miss out—submit your proposal today! 👉

🎥 TypeScript devs, meet Effect: a functional framework redefined! In his Lambda Days 2024 talk, @jkomyno shows how Effect’s concurrency and type-safety take TypeScript to new heights. Watch it here:

correct link:

@kamilogorek Sorry, the correct address is without "x". Waiting list section here:

RT @ScalaTimes: Scala Times Issue #567 - - with fresh content by @arturaz_ @jdegoes @jetbrains @LambdaDays @scala_l…

🎥 AI: logic vs heuristics—two paths, one future? In "The Two Cultures of Artificial Intelligence" Lambda Days 2024 talk, Philip Wadler contrasts the origins and challenges of AI, shedding light on its role in shaping programming. Watch the talk now:

RT @adamwarski: See you at @LambdaDays? I'll be speaking on what this thing called "Functional Programming" might actually be. And probabl…

RT @SimonrDev: I will be speaking at @LambdaDays this year! :) I will show how functional Scala with Cyfra can be used to develop GPU progr…

Excited to announce Romain Michon as our next #LambdaDays 2025 keynote! 🎶 A core developer of the #Faust programming language, Romain explores real-time audio signal processing, #FPGA programming, and #music tech innovation. 📅 Don’t miss it—join us in June! 👉 Sign up for Super Early Bird tickets:

Hey devs, love #LambdaDays and the FP community? Let your boss know: sponsoring the event helps keep functional programming thriving. It’s a win-win: ⚡ Support the community 🖥️ Showcase your company’s tech 🎯 Find top talent Let’s keep sharing knowledge & passion! 👉

The holiday season is over and #LambdaDays committee is well-rested and ready to jump in on the action! Our first programme committee call will happen soon, so make sure your proposal is in the "to review” pile! 👉 @rjmh #Haskell Mary Sheeran Philip Wadler #FunctionalProgramming @luksow #Scala @erszcz #Elixirlang #Erlang Katja Mordaunt #Elm @thompson_si #FP #ComputerScience #TypeTheory Samanta Wójtowicz #Embedded

🎥 Relive the 2024 Vibes! 🎉 It's great to relive the best moments of the last Lambda Days - check out our 2024 Highlights Video, featuring: 🎤 Interviews with @xnningxie @avsm @hayleighdotdev & Philip Wadler 🤝 Scholars and industry pros connecting over their love for functional programming 🎉 A community where everyone’s welcome and the passion for FP thrives! Thank you again @StanChart @ahrefs @ErlangSolutions @SeventhState_io and @welltyped for helping make this event happen and supporting the community! #LambdaDays #FunctionalProgramming #Highlights

Our 2024 recording releases continue with the third of the most popular talks (excluding keynotes) from this year’s edition: "Automata Unveiled: A Theoretical Exploration of State Machines" by @videsnelsonesl @ErlangSolutions 🎥 👉 Sign up for Super Early Bird tickets to the 2025 edition: #automata #StateMachines #Protocols