Lambda_World's profile picture. An international conference for Functional Programming enthusiasts.  
October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.

Lambda World

@Lambda_World

An international conference for Functional Programming enthusiasts. October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.

مثبتة

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


Whilst attending @Lambda_World why not grab a chance to see some of the artisan stalls in Cadiz (just around the corner) there untill 2pm and back on tomorrow. Another great way to bring part of the city back with you and share with co-workers, family and friends #Cadiz #Artisan

Lambda_World's tweet image. Whilst attending @Lambda_World why not grab a chance to see some of the artisan stalls in Cadiz (just around the corner) there untill 2pm and back on tomorrow. Another great way to bring part of the city back with you and share with co-workers, family and friends
#Cadiz #Artisan

Just a little teaser of some of the goodies 🎁 available at @Lambda_World this year, pop to the stands to find out what else is on offer from our sponsors. (note: Rowena is not included 😂) #swag #lambdaworld #conference #jetbrains

Lambda_World's tweet image. Just a little teaser of some of the goodies 🎁 available at @Lambda_World this year, pop to the stands to find out what else is on offer from our sponsors.
(note: Rowena is not included 😂)
#swag #lambdaworld #conference #jetbrains

Workshops kicking off this morning with a parallel session Solid Code with Liquid Types! Hosted by @IMDEA_Software presented by Alessio Ferrarini & Pablo Castellanos #Workshops #Lambdaworld #functional_programming

Lambda_World's tweet image. Workshops kicking off this morning with a parallel session 
Solid Code with Liquid Types!
Hosted by @IMDEA_Software presented by Alessio Ferrarini & Pablo Castellanos 
#Workshops #Lambdaworld #functional_programming

Workshops are kicking off this morning Crafting Elegant DSLs in Kotlin hosted by @jetbrains @trupill & @vergauwen_simon #Lambdaworld #conference #workshops #jetbrains

Lambda_World's tweet image. Workshops are kicking off this morning 
Crafting Elegant DSLs in Kotlin 
hosted by @jetbrains @trupill & @vergauwen_simon 
#Lambdaworld #conference #workshops #jetbrains

Looking forward to seeing you all at Cadiz tomorrow as #Lambdaworld25 kicks off in style. Bring your sun cream as the weather is glorious for October. #Cadiz #functional_programming #Conference

Lambda_World's tweet image. Looking forward to seeing you all at Cadiz tomorrow as #Lambdaworld25 kicks off in style. Bring your sun cream as the weather is glorious for October. 
#Cadiz #functional_programming #Conference

Two New Voices Join Lambda World! We’re thrilled to welcome: @IBartelborth who will join: “Prompting Safely: Building Secure LLM Prompts with a Scala DSL.” @raulraja leading an open discussion: “Does Functional Programming Still Matter in the Era of AI?” Join the conversation…

Lambda_World's tweet image. Two New Voices Join Lambda World!

We’re thrilled to welcome:
@IBartelborth  who will join: “Prompting Safely: Building Secure LLM Prompts with a Scala DSL.”

@raulraja leading an open discussion: “Does Functional Programming Still Matter in the Era of AI?”

Join the conversation…
Lambda_World's tweet image. Two New Voices Join Lambda World!

We’re thrilled to welcome:
@IBartelborth  who will join: “Prompting Safely: Building Secure LLM Prompts with a Scala DSL.”

@raulraja leading an open discussion: “Does Functional Programming Still Matter in the Era of AI?”

Join the conversation…

Let’s Match, but Smarter What if your quiz didn’t just guess, but used math to find your perfect fit? In this workshop, build a “Which [X] are you?” app powered by 3D vector matching. Answer three simple questions, and see how Rust, Axum, and SurrealDB crunch the numbersno…

Lambda_World's tweet image. Let’s Match, but Smarter

What if your quiz didn’t just guess, but used math to find your perfect fit? In this workshop, build a “Which [X] are you?” app powered by 3D vector matching. Answer three simple questions, and see how Rust, Axum, and SurrealDB crunch the numbersno…

Lambda World is this WEEK! And Wendy Randolph is fully prepared to take part in it. Check out this great video she sent us from Florida, and go and grab your tickets NOW! lambda.world #FunctionalProgramming #Elixir #Clojure


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:…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Lambda_World's tweet image. 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…

Loading...

Something went wrong.


Something went wrong.