Functional Rust: From ADTs to Advanced Concurrency by Stefano Candori & Adrian Ramirez
Lambda World 25
•
36m
Rust combines the rigour of functional programming with the low-level control of a systems language, giving developers the tools to model invariants, compose logic with clarity, and run workloads safely at scale. In this talk, we'll refactor a deliberately "bad" Rust example into a safe, expressive, high-performance pipeline, starting with algebraic data types to model data and state clearly. We'll then apply category theory patterns like Functor, Monad, and Applicative, focusing on how these abstractions are represented and implemented in Rust. Next, we'll leverage Rust's advanced generics and Generic Associated Types (GATs) to create precise, reusable abstractions, and conclude by exploring how a functional design mindset enhances Rust's approach to concurrency and parallelism, making concurrent code both safer and easier to reason about.
Up Next in Lambda World 25
-
Total Functions for Automated Reasoni...
While much of today's AI focuses on statistical methods, a well-established parallel exists in the form of symbolic, also known as Good Old-Fashioned AI (GOFAI). Here, programs manipulate logical formulas to solve strictly defined problems through reasoning rather than learning. Automated theorem...
-
From Clojure to Elixir: Leveraging Fu...
This talk shares the experience of building a web application in two functional languages: Clojure and Elixir. By looking at how each language shaped the architecture, tooling choices, and development workflow, we'll explore how different design philosophies show up in real-world projects. From C...
-
Accidental Functional Programming in ...
I don't have a background in functional programming - and I never set out to write it. But somewhere between writing trait-based epidemiological pipelines, composing data transformations, and leaning hard on Result, enums, and pattern matching, I started hearing from others: “That's pretty functi...
