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.
"Datafun: a functional query language" by Michael Arntzenius
Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language.
Simon Peyton Jones - Haskell is useless
A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe.
ElixirConf 2021 - Isaac Yonemoto - Zig (heart) Elixir
Isaac Yonemoto's ElixirConf 2021 talk on Zigler, a library for writing Elixir NIFs in Zig.
Analyzing Programs with Z3
Tikhon Jelvis's Compose Conference talk on using the Z3 SMT solver to analyze and verify programs, including checking invariants with bounded loops.
Keynote: The Last Hope for Scala's Infinity War - John A. De Goes
John A.
Lecture 7A: Metacircular Evaluator, Part 1
Lecture 7A from MIT 6.001 (SICP) by Abelson and Sussman introduces the metacircular evaluator, a Scheme interpreter written in Scheme.
Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
Lecture 1B of MIT's 6.001 Structure and Interpretation of Computer Programs (1986) with Gerald Sussman, covering procedures, processes and the substitution model.
Succinct Data Structures
Edward Kmett's 2013 talk at Prezi in Budapest on succinct data structures, which store data in close to the information-theoretic minimum space while supporting fast queries.
Friday evening lightning talks
A PyCon 2013 block of Friday evening lightning talks.
CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
Christian Schafmeister presents CANDO at the 2016 European Lisp Symposium.
Live ClojureScript Game Editor
A five-minute demo of a live ClojureScript game editor by Chris Granger.
Lucas Cavalcanti & Edward Wible - Exploring four hidden superpowers of Datomic
A Clojure/conj 2014 talk by Lucas Cavalcanti and Edward Wible on four uses of Datomic.
Glenn Vanderburg - Cló: The Algorithms of TeX in Clojure
Glenn Vanderburg presents Cló, a Clojure library that reimplements TeX's core typesetting algorithms as composable functions.
Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Aaron Hsu explains why programmers often find APL harder to learn than people with no programming background.
(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
A RacketCon talk presenting Fructure, a prototype extensible structured editing engine in Racket.
Category Theory, The essence of interface-based design - Erik Meijer
Erik Meijer argues that category theory is the mathematicians' version of interface-based design.
SymbolicsTalk28June2012
Kalman Reti, one of the last Symbolics developers, gives a roughly hour-long talk on Symbolics Lisp machines.
Andy Keep - Writing a Nanopass Compiler
Andy Keep's Clojure/Conj talk on writing a nanopass compiler, built from many single-task passes with formally defined intermediate languages.
What is PLUS times PLUS?
2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives.
Escape from the Heap: Low-Level Programming in Common Lisp
Ahmon Dancy of Franz Inc explains low-level programming in Common Lisp, including off-heap data structures used in AllegroGraph to manage memory outside the garbage collector.
Pacific Northwest Scala 2013 We're Doing It All Wrong by Paul Phillips
Paul Phillips, a former Scala core contributor, argues after moving a million lines of code that much of what the software industry does is wrong.
Type-Driven Development in Idris — Edwin Brady
Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language.
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them.
APL at Julia's Speed | Shashi Gowda | JuliaCon 2016
A JuliaCon 2016 talk by Shashi Gowda showing an APL implementation in Julia.