Best Functional programming Videos
「Functional programming」下面有225部被不同的人、在不同月份推荐过的视频。挑的时候先看对象:入门24部,适合还没学过的人;进阶137部,适合已经懂术语的人;普通向18部,按兴趣就能看;更硬的46部,留给想看推导或细节的人。这一类数量最多的是演讲,所以它们的共同点是一位讲者把一个判断讲完,例子是为了撑住这个判断。常出现的频道包括ClojureTV、Strange Loop Conference、Google TechTalks。目录给这个主题划的范围是:Functional programming: Haskell, OCaml, Clojure, Erlang, Elixir, Scala, Lisp, Scheme, immutability, monads, purity, pattern matching, Rich Hickey, Simon Peyton Jones.如果只看三部,就从《Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich》开始,它负责把问题讲出画面;然后看《The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019》,换一种讲法或例子;最后看《"Simple Made Easy" - Rich Hickey (2011)》,留给已经有基础的人。页面按每页24部切开,顺序看的是被推荐跨越了多少个月,不是播放量。每条标题下面那一句是这部片子自己的内容说明,用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看,把引用当成只是拿来举例,把批评留下来对照,不要把每条评论都当成同一力度。

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.