Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
Recommended by 18 •
Classic
Play allFunctional programming
707 videos • 561 hr 18 min
Part of Software design. Ordered by how many people recommended each video and for how long; 114 are classics.
1 2 3 4 5 6 William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
Recommended by 14 •
Classic7 8 9 10 11 12 13 14 15 16 17 "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
Strange Loop Conference
Recommended by 12 •
18 "Outperforming Imperative with Pure Functional Languages" by Richard Feldman
Strange Loop Conference
Recommended by 10 •
Classic19 Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
MIT OpenCourseWare
Recommended by 11 •
Classic20 21 Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
Curry On!
Recommended by 10 •
Classic22 23 24 Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
Recommended by 9 •
Classic25 26 27 Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
Recommended by 9 •
Classic28 29 Joe Armstrong & Alan Kay - Joe Armstrong interviews Alan Kay
Erlang Solutions
Recommended by 8 •
Classic30 31 32 "Controlling Time and Space: understanding the many formulations of FRP" by Evan Czaplicki
Strange Loop Conference
Recommended by 8 •
Classic33 34 35 Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
KanDDDinsky
Recommended by 6 •
Classic36 Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
Recommended by 8 •
Hidden gem37 38 39 Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
jasonofthel33t
Recommended by 7 •
Classic40 Rich Hickey rants about HttpServletRequest in 1080p: Death By Specificity from Clojure Made Simple
Fred Overflow
Recommended by 6 •
Classic41 42 "We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
Recommended by 7 •
Classic43 44 45 Functional architecture - The pits of success - Mark Seemann
NDC Conferences
Recommended by 7 •
Classic46 Pure Functional Programming in Excel • Felienne Hermans • GOTO 2016
GOTO Conferences
Recommended by 7 •
Classic47 48 49 50 51 Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
Recommended by 6 •
52 53 54 James Powell: So you want to be a Python expert? | PyData Seattle 2017
PyData
Recommended by 6 •
Classic55 56 57 58 59 Joe Armstrong - Keynote: The Forgotten Ideas in Computer Science - Code BEAM SF 2018
Code Sync
Recommended by 6 •
Classic60 61 62 63 64 65 66 67 Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
Recommended by 6 •
Classic68 Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason
Lambda World
Recommended by 5 •
Hidden gem69 "Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Strange Loop Conference
Recommended by 4 •
Classic70 71 72 Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
Recommended by 5 •
Hidden gem73 Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Erlang Solutions
Recommended by 4 •
Classic74 75 76 ElixirConf 2023 - José Valim - The foundations of the Elixir type system
ElixirConf
Recommended by 4 •
77 A Quick Look at Impredicativity (Simon Peyton Jones)
Chalmers Functional Programming Seminar Series
Recommended by 4 •
Hidden gem78 79 80 81 82 Saša Jurić - Parsing from first principles - WebCamp Zagreb 2019
WebCamp Zagreb
Recommended by 4 •
Hidden gem83 84 85 86 87 88 89 90 Co-Creator of Haskell: Useless vs Useful Languages, Rust vs C, Functional Programming | Simon Jones
Ryan Peterman
Recommended by 3 •
Recent pick91 92 2016 - On The Shoulders Of Giants - Damian Conway
The Perl and Raku Conference - Greenville, SC 2026
Recommended by 4 •
Classic93 94 Erlang Factory SF 2016 Keynote Phoenix and Elm – Making the Web Functional
Erlang Solutions
Recommended by 4 •
95 96 97 98 99 100 101 SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes
André Popovitch
Recommended by 3 •
Hidden gem102 103 "Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Recommended by 4 •
Classic104 The Unreasonable Effectiveness of Constructive Data Modeling - Alexis King | SSW 2026
Software Should Work
Recommended by 3 •
Recent pick105 Design Patterns vs Anti pattern in APL by Aaron W Hsu at FnConf17
ConfEngine
Recommended by 4 •
Classic106 107 108 109 Next-gen Haskell Compilation Techniques with Csaba Hruska
Berlin Functional Programming Group
Recommended by 3 •
Hidden gem110 111 112 113 114 Why Functional Programming Matters by John Hughes at Functional Conf 2016
ConfEngine
Recommended by 3 •
Classic115 116 117 118 119 "Meander: Declarative Explorations at the Limits of FP" by Jimmy Miller
Strange Loop Conference
Recommended by 2 •
Hidden gem120 Stanford Seminar - Concatenative Programming: From Ivory to Metal
Stanford Online
Recommended by 3 •
Hidden gem121 122 Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem123 Lennart Augustsson - MicroHaskell
Chalmers Functional Programming Seminar Series
Recommended by 3 •
Hidden gem124 125 126 127 Lambda World 2019 - Painless software development with Haskell - Paweł Szulc
Lambda World
Recommended by 2 •
128 129 130 The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
Recommended by 3 •
Classic131 Aaron Hsu - Do Programming Language Features Deliver on their Promises
LambdaConf
Recommended by 3 •
Hidden gem132 Alejandro Serrano Mena on Why Functors and Applicatives Compose but Monads Don't
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem133 134 135 136 Computer Science - A Guide for the Perplexed • Joe Armstrong • GOTO 2018
GOTO Conferences
Recommended by 3 •
137 Interview and AMA with Louis Pilfold - Creator of Gleam (Unedited)
Exercism
Recommended by 3 •
Hidden gem138 Haskell is Not For Production and Other Tales
Linux.conf.au 2016 -- Geelong, Australia
Recommended by 2 •
139 140 "Datafun: a functional query language" by Michael Arntzenius
Strange Loop Conference
Recommended by 3 •
Classic141 Erlang Factory SF 2016 - Keynote - John Hughes - Why Functional Programming Matters
Erlang Solutions
Recommended by 2 •
Hidden gem142 143 Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon
Racket
Recommended by 2 •
Hidden gem144 145 146 147 148 Laziness in Haskell — Part 2: Why not Strict Haskell?
Tweag by Modus Create
Recommended by 2 •
Hidden gem149 Dynamic Languages Wizards Series - Panel on Language Design
Eduardo Cavazos
Recommended by 2 •
Classic150 Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On
Curry On!
Recommended by 3 •
Hidden gem151 152 153 Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017
LambdaConf
Recommended by 2 •
Hidden gem154 C++Now 2017: Ryan Newton "Haskell taketh away: limiting side effects for parallel programming"
CppNow
Recommended by 2 •
155 Alexis King on "Delimited Continuations, Demystified" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem156 157 Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
ACM SIGPLAN
Recommended by 2 •
Hidden gem158 Joe Armstrong & Jeremy Ruston - Intertwingling the Tiddlywiki with Erlang | Code Mesh LDN 18
Code Sync
Recommended by 3 •
Classic159 160 161 Transducers for massive data processing in JavaScript: What, Why and How (Sean May)
Fun Fun Function
Recommended by 2 •
Classic162 A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem163 164 165 166 167 168 169 Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
Recommended by 3 •
Classic170 171 04 An Optimizing Compiler for a Purely Functional Web Application Language
ICFP Video
Recommended by 2 •
Hidden gem172 Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)
NYC Haskell User's Group
Recommended by 2 •
Hidden gem173 Keynote: Why Functional Programming Matters - John Hughes, Mary Sheeran (Lambda Days 2017)
Erlang Solutions
Recommended by 2 •
Hidden gem174 175 176 Gabriele Keller - Keynote: Functional programming for array-based parallelism - Lambda Days 2020
Code Sync
Recommended by 2 •
Hidden gem177 178 179 180 181 182 183 184 2016 02 28 - Simon Meier - A primer to commercial Haskell programming
Simon Meier
Recommended by 2 •
Hidden gem185 186 187 188 Edwin Brady Tells Us What's New in Idris 2
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem189 190 Erin Swenson-Healey: A Beginner's Guide to Exceptions in Haskell
Brainium
Recommended by 2 •
Hidden gem191 Category Theory Explained for Haskell Programmers – Part 1 | Jencel Panic | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem192 "Unconventional Programming with Chemical Computing" by Carin Meier
Strange Loop Conference
Recommended by 3 •
Hidden gem193 194 Erlang Factory SF 2015 - Jose Valim - What Elixir is about
Erlang Solutions
Recommended by 2 •
Hidden gem195 196 197 198 199 200 Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali
Lambda World
Recommended by 2 •
Hidden gem201 202 203 204 2017 02 23 Niklas Hambüchen FRP browser programming with Reflex
Simon Meier
Recommended by 2 •
Hidden gem205 206 Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 2016
The Julia Programming Language
Recommended by 2 •
Hidden gem207 208 209 Category Theory, The essence of interface-based design - Erik Meijer
FooCafe
Recommended by 2 •
Classic210 "Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah
Strange Loop Conference
Recommended by 2 •
211 ShapeRank: Rank Polymorphism Meets Reactive Streams@REBLS21
Gilad Bracha
Recommended by 2 •
Hidden gem212 213 214 215 216 217 218 219 220 Procedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
Build Stuff - #1 Software Dev Conf
Recommended by 2 •
221 222 What is .NET? What's C# and F#? What's the .NET Ecosystem? .NET Core Explained, what can .NET build?
Scott Hanselman
Recommended by 1 •
223 Next Level MTL - George Wilson - BFPG 2016-06
Brisbane Functional Programming Group
Recommended by 2 •
Hidden gem224 225 An Introduction to Functional Imperative Programming in Flix • Magnus Madsen • GOTO 2023
GOTO Conferences
Recommended by 2 •
Hidden gem226 227 228 229 230 David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Curry On!
Recommended by 2 •
Hidden gem231 ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
Malcolm Wallace
Recommended by 2 •
Classic232 233 234 235 236 237 238 239 A Hitchhiker's Guide to Linearity by Daniel Marshall | Lambda Days 2023
Code Sync
Recommended by 2 •
Hidden gem240 "An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
Strange Loop Conference
Recommended by 2 •
Hidden gem241 Gabriele Keller: Accelerate - High-Performance Computing in Haskell
Jeremy Gibbons
Recommended by 2 •
Hidden gem242 243 244 "How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Strange Loop Conference
Recommended by 2 •
Hidden gem245 Dublin Kotlin Meetup - A Functional Approach to Exception Handling & Writing Kotlin Compiler Plugins
Dublin Kotlin User Group
Recommended by 2 •
Hidden gem246 247 Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023
CppNorth
Recommended by 2 •
Hidden gem248 249 250 "Hazel: A Live Functional Programming Environment with Typed Holes" by Cyrus Omar
Strange Loop Conference
Recommended by 2 •
Hidden gem251 252 253 Sandy Maguire: A New Kind of Programming: Tactic Metaprogramming in Haskell @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
254 255 256 (fourth RacketCon): Neil Toronto — Purely Functional 3D in Typed Racket
Racket
Recommended by 2 •
Hidden gem257 258 259 260 The Shape(less) of Type Class Derivation in Scala 3 - Miles Sabin
Scala Days Conferences
Recommended by 1 •
261 Real-world functional programming in Scala using ZIO - a tour by Yonas Ghidei
Func Prog Sweden
Recommended by 1 •
262 263 Part 1 - What is ZIO and should you learn it? - Getting Started with #ZIO in #Scala3
DevInsideYou
Recommended by 1 •
264 265 266 267 268 Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich
Hadi Moshayedi
Recommended by 2 •
Hidden gem269 "Building Haskell Programs with Fused Effects" by Patrick Thomson
Strange Loop Conference
Recommended by 1 •
270 271 Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show
IntelliJ IDEA, a JetBrains IDE
Recommended by 1 •
Recent pick272 Building A Language Parser and Interpreter [Parser Combinators from Scratch] Episode 5
Low Byte Productions
Recommended by 1 •
273 Kyo: A New Approach to Functional Effects in Scala with Flavio Brasil and Adam Hearn
Scala for Fun & Profit
Recommended by 1 •
274 275 Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful Abstractions
Rock the JVM
Recommended by 1 •
276 277 278 279 280 281 282 Unlocking the Power of Arrow 2.0 – A Comprehensive Guide | Simon Vergauwen
Kotlin by JetBrains
Recommended by 1 •
283 284 285 286 287 MuniHac 2019: Fast Downward: Solving Declarative Planning problems in Haskell
TNG Technology Consulting GmbH
Recommended by 1 •
288 Monads are Monoids in the Category of Endofunctors - a Scala 3 Journey, No Psychobabble
Rock the JVM
Recommended by 1 •
289 290 291 292 293 294 295 296 Marcin Rzeźnicki at #ScalaUA- Using monads to enforce programming style your Boss likes
ScalaUA Conference
Recommended by 1 •
297 Jakub Kozłowski at #ScalaUA - Conquering Concurrency with Functional Programming
ScalaUA Conference
Recommended by 1 •
298 Alex Zvolinskiy at #ScalaUA - Big Step to Functional Programming
ScalaUA Conference
Recommended by 1 •
299 Daniel Beskin at #ScalaUA - Compile Time Logic Programming in Scala
ScalaUA Conference
Recommended by 1 •
300 301 Miklós Martin at #ScalaUA - Scheduling and retrying effects with cats
ScalaUA Conference
Recommended by 1 •
302 303 Veronika Romashkina: Lift Unliftable (and unlift liftable) @Zurihac21
Zürich Friends of Haskell
Recommended by 1 •
304 305 ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
Malcolm Wallace
Recommended by 2 •
Classic306 307 308 309 310 ML 2021 - Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
ACM SIGPLAN
Recommended by 1 •
311 "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
Recommended by 2 •
312 313 314 315 316 317 318 319 320 321 MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR
TNG Technology Consulting GmbH
Recommended by 1 •
322 323 324 325 326 327 Chris Allen: A Haskell Guide for Working Stiffs - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
328 Leverage the Power of Logic Programming With Souffle-haskell
Berlin Functional Programming Group
Recommended by 1 •
329 David Greenberg: Distributed functional programming - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
330 TJ Usiyan: Functional Programming and Polymorphism basics in Swift - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
331 332 The Unison Language and its Scala-based Runtime—Paul Chiusano
Scala World
Recommended by 2 •
Hidden gem333 334 335 Making asynchronous programs functional with IO.async and IO.cancelable - Scala tutorial
Jakub Kozłowski
Recommended by 1 •
336 337 338 Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
339 340 341 342 "Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)
Strange Loop Conference
Recommended by 1 •
343 344 345 George Wilson - An Intuition for Propagators - Compose Melbourne 2019
Compose Conference
Recommended by 1 •
346 Scale By The Bay 2019: Tikhon Jelvis, What is Functional Reactive Programming?
FunctionalTV
Recommended by 1 •
347 348 @rae: Some functions on length-indexed vectors require custom GADTs
Tweag by Modus Create
Recommended by 1 •
349 The functional journey of C# - Mads Torgersen - NDC Copenhagen 2022
NDC Conferences
Recommended by 1 •
350 351 Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) Haskell 2020
ACM SIGPLAN
Recommended by 1 •
352 353 354 355 356 357 358 359 360 361 362 363 364 365 Http4s Scala Tutorial: Writing an HTTP Server with Purely Functional Scala
Rock the JVM
Recommended by 1 •
366 367 Polylith - the last architecture you will ever need by Joakim Tengstrand and Furkan Bayraktar
Func Prog Sweden
Recommended by 1 •
368 369 @rae: Existentials and writing functions for length-indexed vectors
Tweag by Modus Create
Recommended by 1 •
370 371 372 373 The Do's and Don'ts of Error Handling • Joe Armstrong • GOTO 2018
GOTO Conferences
Recommended by 2 •
Classic374 375 "Make the Back-End Team Jealous: Elm in Production" by Richard Feldman
Strange Loop Conference
Recommended by 2 •
376 377 378 Web Development in Emacs, Common Lisp and Clojurescript - Emacs SG
Engineers.SG
Recommended by 2 •
Classic379 380 381 382 Functional Programming Through the Lens of a Philosopher & Linguist • Anjana Vakil • GOTO 2021
GOTO Conferences
Recommended by 1 •
383 384 385 386 387 388 389 390 391 392 393 394 395 Michael Sperber - Concurrent ML - The One That Got Away - Code Mesh 2017
Erlang Solutions
Recommended by 1 •
396 Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
Sergei Winitzki
Recommended by 1 •
397 "Coder Decoder: Functional Programmer Lingo Explained, with Pictures" by Katie Miller
Strange Loop Conference
Recommended by 1 •
398 399 400 401 402 How Parser Combinators Work [Parser Combinators From Scratch] Episode 1
Low Byte Productions
Recommended by 2 •
403 404 405 406 407 408 409 410 411 412 Learn Reduce, Group-by, and Juxt by creating a Look Up Map (Clojure Tutorial)
Daniel Amber
Recommended by 1 •
413 Paco Estévez | State of the functional ecosystem in Kotlin: Mid 2018 checkup
Kotlin Budapest
Recommended by 1 •
414 415 416 417 418 419 420 421 422 423 424 425 426 427 Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
428 429 430 431 432 Elm and Phoenix Two FP Flavors That Taste Great Together - Josh Adams
Erlang Solutions
Recommended by 1 •
433 434 Denotational Design: from meanings to programs By Conal Elliott at BayHac 2014 1/4
Zaki Manian
Recommended by 1 •
435 436 Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021
Code Sync
Recommended by 2 •
Hidden gem437 438 439 From Spring Boot Apps to Functional Kotlin • Nicolas Frankel • GOTO 2019
GOTO Conferences
Recommended by 1 •
440 441 Consistently Inconsistent - Conor Hoekstra @code_report - Meeting C++ 2019 Secret Lightning Talks
Meeting Cpp
Recommended by 1 •
442 443 444 445 A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
A Byte of Code
Recommended by 2 •
446 447 448 "Parser Parser Combinators for Program Transformation" by Rijnard van Tonder
Strange Loop Conference
Recommended by 1 •
449 ATOMICALLY { DELETE YOUR ACTORS } - John A De Goes & Wiem Zine Elabadine | Scalar 2019
SoftwareMill
Recommended by 1 •
450 451 Functional Programming in Financial Markets by Damián Soriano
Func Prog Sweden
Recommended by 2 •
Hidden gem452 #Scala - Your First Programming Language - Part 20.1 - Case Classes in Depth
DevInsideYou
Recommended by 1 •
453 454 455 The Mathematician's Weapon | An Intro to Category Theory, Abstraction and Algebra
Eyesomorphic
Recommended by 1 •
456 457 Scale By The Bay 2018: Martin Odersky, Opening Keynote: New Functional Constructs in Scala 3
FunctionalTV
Recommended by 1 •
458 459 460 461 462 463 464 465 Managing Effects in Domain Models - The Algebraic Way by Debasish Ghosh at #FnConf18
ConfEngine
Recommended by 1 •
466 467 468 469 Simpler Build Tools with Functional and Object Oriented Programming, Scala Workshop 2025
Haoyi Li
Recommended by 1 •
470 471 472 473 What Lies Beneath - A Deep Dive Into Clojure's Data Structures - Mohit Thatte
ClojureTV
Recommended by 1 •
474 Some History of Functional Programming Languages - David Turner (Lambda Days 2017)
Erlang Solutions
Recommended by 1 •
475 476 477 478 479 David Peter: Interactive Tests and Documentation via QuickCheck style Declarations - λC 2016
LambdaConf
Recommended by 1 •
480 481 482 483 484 485 486 Big Techday 23: Glean: Query your Code [EN] - Simon Marlow, Meta Research
TNG Technology Consulting GmbH
Recommended by 1 •
487 488 489 490 491 Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024)
Mathématiques et informatique - Collège de France
Recommended by 2 •
Hidden gem492 493 494 495 496 497 498 Compose :: Melbourne 2017 - Huw Campbell - Grenade - Dependently Typed Neural Networks in Haskell
Compose Conference
Recommended by 1 •
499 500 To Effect or Not to Effect - a Scala Perspective by Daniel Ciocîrlan
Func Prog Sweden
Recommended by 1 •
501 Aaron Hsu - how he discovered functional programming and why he loves it!
ConfEngine
Recommended by 1 •
502 503 504 505 506 507 508 509 510 511 512 Build a Markdown Parser in Haskell with Megaparsec | Complete Tutorial
Purely Haskell
Recommended by 1 •
513 514 515 MuniHac 2024 - Sa, Oct. 12 - Hécate: Effect Systems in Practice
TNG Technology Consulting GmbH
Recommended by 1 •
516 517 518 519 520 521 522 523 524 525 526 Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
527 528 529 Avoid infinite recursion with lazy sequences (Clojure rand-nth repeat cons lazy-seq repeatedly take)
Fred Overflow
Recommended by 1 •
530 531 532 533 BornHack 2019 - Ramón Soto Mathiesen - Limiting side-effects of applications at compile-time
BornHack
Recommended by 1 •
534 535 536 Another Approach to Monads in Scala: A Way to Generalize Chained Computations
Rock the JVM
Recommended by 1 •
537 ReactiveConf 2018 - Brian Egan & Filip Hracek: Practical Rx with Flutter
ReactiveConf
Recommended by 1 •
538 539 F-algebras or: How I Learned to Stop Worrying and Love the Type System
NYC Haskell User's Group
Recommended by 1 •
540 Data Juggling - Part 6 - Introduction to #Cats (Functional Error Handling - Part 1)
DevInsideYou
Recommended by 1 •
541 Typesafe SQL in Haskell - Ben Kolera - BFPG 2015-09
Brisbane Functional Programming Group
Recommended by 1 •
542 CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
European Lisp Symposium
Recommended by 2 •
Hidden gem543 544 545 546 547 548 Functional PostgreSQL without JDBC - Jesper Öman, Scala Stockholm Winter Meetup, Nov 2024 Part 1
Scala Stockholm
Recommended by 1 •
549 550 Functional Programming for Pragmatists • Richard Feldman • GOTO 2021
GOTO Conferences
Recommended by 1 •
551 552 553 554 555 Compose Conference - Modularity and Abstraction in Functional Programming
NYC Haskell User's Group
Recommended by 1 •
556 557 558 559 #54 - The Goal of Science is to Communicate Ideas! - Philip Wadler
Type Theory Forall
Recommended by 1 •
560 561 562 563 564 Paweł Szulc - Maintainable Software Architecture in Haskell (with Polysemy) - Lambda Days 2020
Code Sync
Recommended by 1 •
565 566 567 568 569 570 571 572 573 574 Functional Scala - Adventures in Type-safe Error Handling by Jacob Wang
Scala in the City
Recommended by 1 •
575 Immutable Selves: A Functional Approach to Digital Identity through Clojure Principles - Dame
ClojureTV
Recommended by 1 •
576 577 578 579 580 Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
Recommended by 2 •
Hidden gem581 582 Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Dyalog User Meetings
Recommended by 2 •
Hidden gem583 584 Monads - Part 2 - Tacit Programming - Automatic / Point-Free Kleisli Composition
DevInsideYou
Recommended by 1 •
585 586 587 588 589 Ben Lynn on "MacGyver's Haskell Compiler" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 1 •
590 591 592 593 SF Scala: Enhancing Spark's Power with ZIO, Qubism and NLP at Scale, Using Nix for Haskell
FunctionalTV
Recommended by 1 •
594 Diamond Architecture - How to build HUMONGOUS Apps FAST! - Part 4 - The Grand Finale
DevInsideYou
Recommended by 1 •
595 596 597 598 !!Con 2019- Tail Call Optimization: The Musical!! by Anjana Vakil & Natalia Margolis
Confreaks
Recommended by 1 •
599 600 601 602 603 Compose :: Melbourne 2017 - George Wilson - Type Class: The Ultimate Ad Hoc
Compose Conference
Recommended by 1 •
604 605 606 HaskellerZ - January 2020 - Marion Schleifer & Alexis King - Open-Source GraphQL Engine in Haskell
Zürich Friends of Haskell
Recommended by 1 •
607 608 609 610 611 612 613 614 615 616 Racket: A Programming-Language Programming Language • Robby Findler • YOW! 2015
GOTO Conferences
Recommended by 1 •
617 John De Goes - ZIO Schedule: Conquering Flakiness and Recurrence with Pure Functional Programming
Scala in the City
Recommended by 1 •
618 619 620 Pure Kotlin - Beautiful World Without Loops & Variables • Jarek Ratajski • Devoxx Poland 2021
Devoxx Poland
Recommended by 1 •
621 622 Bracer: Transforming Real-World Languages with Coproducts and Recursion Schemes - Patrick Thomson
Maitria Alex Harms
Recommended by 1 •
623 624 Durable Event-sourced Workflow Monad... Seriously! - Wojtek Pituła | Scalar Conference 2025
SoftwareMill
Recommended by 1 •
625 626 627 Mill: A JVM Build Tool based on Pure Functional Programming, Functional Conf 24 Jan 2025
Haoyi Li
Recommended by 1 •
628 629 Jessica Kerr "Functional Principles for Object Oriented Development"
JDD Conference
Recommended by 2 •
630 Toward safe, flexible, and efficient software in Common Lisp - European Lisp Symposium 2025
Almighty Lisp
Recommended by 1 •
631 632 Resource composition in cats-effect with the Resource data type - Scala tutorial
Jakub Kozłowski
Recommended by 1 •
633 Kotlin Tutorial - Kotlin at Light Speed, Part 5 - Functional Programming in Kotlin
Rock the JVM
Recommended by 1 •
634 635 636 637 Whirlwind tour of the Scala Functional Programming ecosystem - Mark Moore
ScalaIO FR
Recommended by 1 •
638 639 640 Repurposing Scala's Pattern Matching for Deeply Embedded | Functional World #15
Scalac
Recommended by 1 •
641 Automating template management process with Scala 3 and Iron - Magda Stożek | Scalar Conference 2025
SoftwareMill
Recommended by 1 •
642 Homegrown #Scala Collections - Part 35.1 - Monoids and Basic Group Theory
DevInsideYou
Recommended by 1 •
643 644 Breaking the entry barriers: making the scary keywords accessible. - Ayoub Fakir
ScalaIO FR
Recommended by 1 •
645 646 Everything is a time-series. Where are the corresponding abstractions? How to … - Julien Perro
ScalaIO FR
Recommended by 1 •
647 Alice in the world of pods and higher order functions - Roksolana Diachuk
ScalaIO FR
Recommended by 1 •
648 649 650 651 Another Taste of Verse | Simon Peyton Jones | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 1 •
Recent pick652 653 654 655 656 The lazy programmer's guide to writing thousands of tests - Scott Wlaschin
NDC Conferences
Recommended by 1 •
657 658 659 Erlang Master Class 1: Video 1 - Introduction to language processing
Kent Computing
Recommended by 1 •
660 Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen
Lambda World
Recommended by 1 •
661 662 663 664 665 666 Types and other techniques as an accessibility tool for the ADHD brain - M.Newton | Lambda Days 2024
Code Sync
Recommended by 1 •
667 668 669 670 671 Designing The Lustre Web Framework (with Hayleigh Thompson)
Developer Voices
Recommended by 2 •
Hidden gem672 673 674 675 676 677 678 679 680 681 682 A Decision Maker's Guide to Typed Functional Languages • Evan Czaplicki • GOTO 2024
GOTO Conferences
Recommended by 1 •
683 Non-Functional Coding - Kevlin Henney, Curbralan | Craft Conference 2022
CraftHub Events
Recommended by 1 •
684 685 Anil Madhavapeddy - Unikernels: Functional Infrastructure with Mirage OS
Esper Technologies, Inc.
Recommended by 1 •
686 687 Stuck macros: deterministically interleaving macro-expansion and typechecking
Compose Conference
Recommended by 1 •
688 689 690 691 692 Monad transformers down to earth by Gabriele Petronella
Scala Days Conferences
Recommended by 2 •
Hidden gem693 694 695 Lucas Cavalcanti & Edward Wible - Exploring four hidden superpowers of Datomic
ClojureTV
Recommended by 1 •
696 697 698 699 'Declarative Thinking, Declarative Practice' - Kevlin Henney [ ACCU 2016 ]
ACCU Conference
Recommended by 1 •
700 701 702 Procedural Programming: It’s Back? It Never Went Away - Kevlin Henney [ACCU 2018]
ACCU Conference
Top upload •
703 704 705 706 707 What About the Natural Numbers? by José Manuel Calderón Trilla [PWLConf 2019]
PapersWeLove
Top upload •
