23videosLambda World
10.3K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
Playlists · 9
Category Theory in Life - Eugenia Cheng
112K viewsMathematician Eugenia Cheng explains category theory through everyday examples.
40:32A Pragmatic Introduction to Category Theory - Daniela Sfregola
A 41-minute video from Lambda World's catalogue; the title names its topic.
45:24APLicative Programming with Naperian Functors - Jeremy Gibbons
A 45-minute video from Lambda World's catalogue; the title names its topic.
47:38Adjunctions in Everyday Life - Rúnar Bjarnason
A 48-minute video from Lambda World's catalogue; the title names its topic.
1:01:19But… what is C# doing in an event about functional programming? - Alejandro Campos Magencio
A 61-minute video from Lambda World's catalogue; the title names its topic.
50:52Category Theory for the Working Hacker by Philip Wadler
A 51-minute video from Lambda World's catalogue; the title names its topic.
40:30Choosing Your Next Programming Language - Andrea Magnorsky
A 40-minute video from Lambda World's catalogue; the title names its topic.
17:34Clojure Redeployed - Jan Stępień
A 18-minute video from Lambda World's catalogue; the title names its topic.
26:42Computation expressions in context - Andrea Magnorsky
A 27-minute video from Lambda World's catalogue; the title names its topic.
41:04Declarative, Convergent Edge Computation by Christopher Meiklejohn
A 41-minute video from Lambda World's catalogue; the title names its topic.
47:40Describe & Conquer (& Freek) by Pascal Voitot
A 48-minute video from Lambda World's catalogue; the title names its topic.
42:40Doing Data Science with Clojure by Simon Belak
A 43-minute video from Lambda World's catalogue; the title names its topic.
41:00Evolving Functional Programming Languages by Erik Osheim
A 41-minute video from Lambda World's catalogue; the title names its topic.
51:47F# in the real world - Yan Cui
A 52-minute video from Lambda World's catalogue; the title names its topic.
31:00FP Degustation Menu - Hanneli Tavante
A 31-minute video from Lambda World's catalogue; the title names its topic.
32:14From Exception Hell to Typed Bliss: Real-World Error Handling with Kotlin and Arrow by Jordi Pradel
A 32-minute video from Lambda World's catalogue; the title names its topic.
40:06Functional Programming in Kotlin with Kategory - Raul Raja & Paco Estevez
A 40-minute video from Lambda World's catalogue; the title names its topic.
20:34Gaticos & Monads - Alejandro Gomez
A 21-minute video from Lambda World's catalogue; the title names its topic.
25:09Go distributed (and scale out) with Actors and Akka Clustering - Patrick Di loreto
A 25-minute video from Lambda World's catalogue; the title names its topic.
35:57Going Higher - Alejandro Serrano
A 36-minute video from Lambda World's catalogue; the title names its topic.
52:40Java 8 (and 9!) in Anger by Trisha Gee
A 53-minute video from Lambda World's catalogue; the title names its topic.
45:33Kotlin 102 Beyond the Basics - Hadi Hariri
A 46-minute video from Lambda World's catalogue; the title names its topic.
41:07LW 2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers-Alex Gryzlov
A 41-minute video from Lambda World's catalogue; the title names its topic.
31:26LW25 - Pick a (Effect) Lane: A comparison of direct-style Scala vs effect systems by Jayanth Manklu
A 31-minute video from Lambda World's catalogue; the title names its topic.
36:27LW25 - Prompting Safely: Building Secure LLM Prompts with a Scala DSL by Ignacio Gallego & Isaias B.
A 36-minute video from Lambda World's catalogue; the title names its topic.
39:30LW25- When magic meets multicore - OCaml and its elegant era of parallelism by Carine M. & Sonja H.
A 40-minute video from Lambda World's catalogue; the title names its topic.
41:24Lambda Core - Hardcore - Jarek Ratajski
A 41-minute video from Lambda World's catalogue; the title names its topic.
4:02Lambda World 2015
A 4-minute video from Lambda World's catalogue; the title names its topic.
36:06Lambda World 2018 - A developer's guide to probabilistic programming - Evelina Gabasova
A 36-minute video from Lambda World's catalogue; the title names its topic.
39:19Lambda World 2018 - A roadtrip with monads: from MTL, through tagless to BIO - Paweł Szulc
A 39-minute video from Lambda World's catalogue; the title names its topic.
31:29Lambda World 2018 - Abstract your representation and fix your functors by Susan Potter
A 31-minute video from Lambda World's catalogue; the title names its topic.
40:00Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja
A 40-minute video from Lambda World's catalogue; the title names its topic.
30:50Lambda World 2018 - Boring use cases for exciting types - Itamar Ravid
A 31-minute video from Lambda World's catalogue; the title names its topic.
31:17Lambda World 2018 - Bringing the Jewels of the Python World to Scala with Spark by Holden Karau
A 31-minute video from Lambda World's catalogue; the title names its topic.
47:42Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - Keynote
A 48-minute video from Lambda World's catalogue; the title names its topic.
43:45Lambda World 2018 - Dueling Keyboards - Chris Ford
A 44-minute video from Lambda World's catalogue; the title names its topic.