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.
Edward Kmett - Type Classes vs. the World
Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances.
Crash Bandicoot Co-Creator Andy Gavin: Extended Interview | Ars Technica
A two-hour extended interview in which Crash Bandicoot co-creator Andy Gavin tells how he and Jason Rubin built the game at Naughty Dog.
Erlang: The Movie
A short film about the Erlang language, showing telecom systems built from lightweight processes and demonstrating hot code swapping.
Stuart Sierra - Components Just Enough Structure
Stuart Sierra presents the Component library for Clojure, a way to manage stateful services like database connections and thread pools without global mutable state.
"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Timothy Baldridge presents Pixie, a lightweight Lisp built on RPython, at Strange Loop 2015.
Lisp Editing in the 80s - Interlisp SEdit
A short demo of SEdit, the structure editor for Interlisp-D on Xerox Lisp machines in the 1980s, which edits code as trees rather than text.
Kilim: Fast, lightweight, cheap message passing in Java.
A Google Tech Talk by the author of Kilim, a Java library for lightweight actor-style message passing.
Psp collections: views and more by Paul Phillips
Paul Phillips, a major Scala compiler contributor, gives a long talk on Scala collections and views, using it to critique Scala's design and direction.
Physics in Clojure - Colin Smith
Colin Smith introduces Structure and Interpretation of Classical Mechanics and his Clojure port, sicmutils.
"Code is the Easy Part" by Evan Czaplicki
Evan Czaplicki, creator of Elm, gives an elm-conf 2016 talk on the non-code side of building a language.
Elm Europe 2017 - Richard Feldman - Scaling Elm Apps
Richard Feldman's Elm Europe 2017 talk on how to structure and scale large Elm applications, including when to nest messages.
"Make the Back-End Team Jealous: Elm in Production" by Richard Feldman
Richard Feldman describes introducing Elm into a mixed React and jQuery front-end in production, and why the result was reliable, clean and fast enough to make the back-end team jealous.
The Maximal Graph - Wilker Silva
A Clojure/conj 2019 talk by Wilker Silva on how namespace-qualified keywords and context-free federated names can be used pragmatically for data modeling, drawn from his experience at Nubank.
01 The History of Standard ML: Ideas, Principles, Culture
An ICFP 2015 keynote on the history of Standard ML, covering its ideas, principles and culture.
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse.
SICP: o fim de uma era
A short Portuguese-language excerpt of Gerald Sussman's 2016 NYC Lisp Meetup talk explaining why MIT replaced the Scheme-based 6.001 (SICP) course with Python courses.
The Do's and Don'ts of Error Handling • Joe Armstrong • GOTO 2018
Joe Armstrong, inventor of Erlang, gives a GOTO Chicago 2018 talk on building fault-tolerant systems.
"Agility & Robustness: Clojure spec" by Stuart Halloway
Stuart Halloway shows how Clojure's spec library lets you build programs that are both agile and robust.
"A Little Taste of Dependent Types" by David Christiansen
David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs.
Marco Baringer's SLIME Tutorial Video
Marco Baringer's tutorial video on SLIME, the Emacs mode for developing Common Lisp.
Web Development in Emacs, Common Lisp and Clojurescript - Emacs SG
Elias Martenson presents his Emacs-based workflow for building a web application (the Potato chat platform) with Common Lisp on the backend and ClojureScript on the frontend.
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
Joe Armstrong's Strange Loop 2013 talk on building large scalable systems from small isolated parallel components.
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Robert Smith of Rigetti Computing talks at a Bay Area Lisp and Scheme meetup about using Common Lisp for quantum computing.
Introducing Nx - José Valim | Lambda Days 2021
Jose Valim introduces Nx, the project bringing numerical computing to Elixir, covering multi-dimensional tensors, automatic differentiation and JIT compilation to CPU and GPU.