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.
Gabriella Gonzalez – How to market Haskell to a mainstream programmer
Gabriella Gonzalez argues that developers misunderstand marketing as deception or hype, and applies the technology-adoption ideas of Crossing the Chasm to Haskell.
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice.
Expert to Expert: Rich Hickey and Brian Beckman - Inside Clojure
A Channel 9 Going Deep interview in which Brian Beckman talks with Rich Hickey, creator of Clojure, about the language's design.
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
A panel with Tony Hoare, Joe Armstrong and Carl Hewitt, hosted by Francesco Cesarini, on the history and future of concurrency.
Emacs From Scratch #1 - Getting Started with a Basic Usable Configuration
The first stream in the Emacs From Scratch series, building a custom Emacs configuration from zero while teaching basics.
Monad - FunFunFunction #21
An episode of FunFunFunction explaining monads in JavaScript as functors that also implement flatMap.
Clojure in a nutshell by James Trunk
James Trunk introduces Clojure syntax and thinking, covering its core data structures, immutability, the thread-last macro and live data analysis in the REPL.
Land of Lisp- The Music Video!
A playful music video promoting the book Land of Lisp, with a song about Lisp programming.
RailsConf 2016 - Rails to Phoenix by Brian Cardarella
Brian Cardarella's RailsConf 2016 talk on why and how teams can move from Rails to Elixir and Phoenix.
John Carmack Keynote - Quakecon 2013
John Carmack's roughly three-hour QuakeCon 2013 keynote, delivered from a few bullet points.
Stanford Seminar - Concatenative Programming: From Ivory to Metal
Jon Purdy's Stanford EE380 seminar giving an overview of concatenative programming, from function composition theory and history down to low-level implementation and correctness benefits.
Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram
Aditya Siram argues that functional programming has much to learn from Smalltalk's interactivity, using Pharo and Squeak to show live, visual, explorable programming environments.
Lenses, Folds, and Traversals
Edward Kmett's talk to the NY Haskell User Group on the lens library, building from fmap and function composition up to lenses, folds and traversals.
ElixirConf 2023 - José Valim - The foundations of the Elixir type system
José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.
ClojureScript for Skeptics - Derek Slager
Derek Slager's Clojure/conj talk argues that ClojureScript is a pragmatic choice for web development.
Bruce Hauman - Developing ClojureScript With Figwheel
Bruce Hauman presents Figwheel, a ClojureScript tool for live, interactive development with hot code reloading.
Solid Ground // Saša Jurić
Sasa Juric's EMPEX talk demonstrates Elixir and Erlang's process model and what makes the BEAM runtime distinctive, such as fault-tolerant parallelism by design.
Saša Jurić - Parsing from first principles - WebCamp Zagreb 2019
Sasa Juric explains how to parse a language from first principles without regexes, live-coding a simple parser combinator library in Elixir.
Does APL Need a Type System? by Aaron W Hsu at #FnConf18
Aaron Hsu's FnConf18 talk asks whether APL needs a static type system.
Redoing Make - Haskell from Scratch #1
The first episode of a screencast series building djb's redo build system from scratch in Haskell.
Clasp: Common Lisp using LLVM and C++ for Designing Molecules
Christian Schafmeister's Google Tech Talk on Clasp and CANDO, a Common Lisp implementation on LLVM and C++ used to design molecules, including energy minimization and force-field calculations.
ClojureScript in the Age of TypeScript — David Nolen
David Nolen explains how ClojureScript is used at Vouch.io to build mobile and web software with a single language and REPL-driven workflow.
miniKanren - Dan Friedman and William Byrd
Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk.
Erlang: The Movie (Fixed Audio)
A 12-minute film in which Erlang's creators demonstrate the language's fault tolerance and live-system features, including phoning each other to show it working.