PickVidsBest 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部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。
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.