PickVidsBest Functional programming Videos
The 225 Functional programming videos here were recommended by different people across different months. Choose by who it is for: 24 introductory, 137 intermediate, 18 for a general viewer, and 46 for someone who wants the harder derivation. Most of them are a talk. What they share is that one speaker finishes a claim, and the examples exist to hold that claim up. Channels you will keep seeing include ClojureTV, Strange Loop Conference, Google TechTalks.
"Controlling Time and Space: understanding the many formulations of FRP" by Evan Czaplicki
Evan Czaplicki's Strange Loop 2014 talk surveys the many formulations of functional reactive programming and how they relate historically and theoretically.
A Sudoku Solver in APL
A Dyalog demonstration of developing a Sudoku solver in APL, using an algorithm by Arthur Whitney with performance work by John Scholes.
Simplicity Ain't Easy - Stuart Halloway
Stuart Halloway argues that simplicity is objective, with a definition and etymology useful to programmers, rather than a subjective buzzword.
Clojure Concurrency - Rich Hickey
Rich Hickey's long presentation on Clojure and concurrency covers locking and immutability, then goes in depth on refs, transactions and agents.
Factor: an extensible interactive language
A 2008 Google Tech Talk in which Slava Pestov introduces Factor, a concatenative language influenced by Forth, Lisp and Smalltalk.
"Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Aditya Siram introduces Shen, a small hosted Lisp with macros, a built-in Prolog and an optional type system.
ElixirConf 2018 - Docker and OTP Friends or Foes - Daniel Azuma
Daniel Azuma's ElixirConf 2018 talk on whether Docker and OTP conflict.
GigCityElixir23 - Bryan Hunter
Bryan Hunter's GigCityElixir 2023 talk on HCA Healthcare's Waterpark system, built on Elixir/Erlang.
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
Richard Feldman explains how pure functional languages can match or beat imperative ones on performance.
Pure Functional Programming in Excel • Felienne Hermans • GOTO 2016
Felienne Hermans argues that Excel is the world's most popular programming language and shows how spreadsheets work as a pure functional language.
Zach Tellman - Everything Will Flow
Zach Tellman's Clojure West talk covers the basics of queueing theory and its practical use in systems, including backpressure, how queues break down under load, and pitfalls of naive core.async use.
Constraints Liberate, Liberties Constrain — Runar Bjarnason
Runar Bjarnason's Scala World talk argues that restraint and precision in components beat power and flexibility.
Are We There Yet - Rich Hickey
Rich Hickey's talk on time, state, identity and values, arguing that mutable object-oriented modeling fits the world poorly.
Ruby Manor 3 - Programming with Nothing by Tom Stuart
Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures.
Hacker Way: Rethinking Web App Development at Facebook
Facebook engineers explain why they abandoned the traditional MVC paradigm for a more functional architecture, introducing Flux and React.
Symbolics Lisp Machine demo Jan 2013
Symbolics developer Kalman Reti gives a short introductory demo of a Symbolics Lisp Machine running Genera in an emulator.
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions.
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution.
clojure.core/typing - Matt Adereth
Matt Adereth's Clojure/conj talk covers the history of keyboards and how he used Clojure generating OpenSCAD to design and build his custom Dactyl ergonomic keyboard, including 3D printing and laser-cut parts.
John Carmack's keynote at Quakecon 2013 part 4
Part 4 of John Carmack's QuakeCon 2013 keynote, covering OpenGL, functional programming, Haskell, Lisp and Scheme, typing, multithreading, events and garbage collection.
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
Shriram Krishnamurthi's PWLConf 2019 talk on the formal notion of expressive power of programming languages, based on Felleisen's paper.
"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines.
React.js Conf 2015 - Immutable Data and React
Lee Byron of Facebook explains how persistent immutable data structures work and how to use them in React apps with Immutable.js.
Stuart Halloway - Narcissistic Design
Stuart Halloway's satirical talk describes how to protect yourself from industry change by spreading complexity through systems while following idiomatic practice.