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部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。
Parsing with Derivatives
A Stanford talk by Matthew Might on parsing with derivatives, a new way to write parsers, and why better parsing tools are needed.
The Remote Agent Experiment: Debugging Code from 60 Million Miles Away
Ron Garret tells the story of the Remote Agent Experiment on NASA's Deep Space 1, where autonomous software controlled a spacecraft in 1999.
Clojure is Not Afraid of the GPU - Dragan Djuric
Dragan Djuric presents Clojure libraries for GPU and numerical computing, including ClojureCL, ClojureCUDA and Neanderthal.
"Design in Practice" by Rich Hickey
Rich Hickey's Clojure Conj 2023 talk on design in practice, covering problem statements, decision matrices, choosing precise words and making decisions in a team.
Clojure for Lisp Programmers Part 1 - Rich Hickey
Rich Hickey presents an extensive introduction to Clojure at the Boston Lisp meeting, assuming prior Lisp knowledge.
Douglas Crockford: Monads and Gonads (YUIConf Evening Keynote)
Douglas Crockford's YUIConf 2012 evening keynote tries to explain monads in a way programmers can actually understand, in the context of JavaScript.
Caml Trading
Yaron Minsky explains how Jane Street moved from mainstream languages to developing almost entirely in OCaml.
Debugging Lisp: fix and resume a program from any point in the stack - how Common Lisp stands out.
A five-minute demo of the Common Lisp debugger fixing a bug, recompiling a single function, and resuming execution from the failed stack frame.
2018 LLVM Developers’ Meeting: C. Schafmeister “Lessons Learned Implementing Common Lisp with LLVM”
Christian Schafmeister presents lessons from six years of implementing Clasp, a Common Lisp compiler using LLVM as its backend that interoperates with C++.
Over the Shoulder 1 - Text Preprocessing in Forth
Samuel Falvo II live-codes a text preprocessor and blog engine in Forth over about an hour.
Understanding Specter: Clojure's missing piece
A screencast tutorial on Specter, a Clojure library for navigating and transforming nested data structures declaratively, demonstrated in a REPL.
SICP / What is "Computer Science" ?
An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge.
Condition Systems in an Exceptional Language - Chris Houser
Chris Houser's Clojure/conj talk on why Clojure's exceptions destroy information as the stack unwinds, unlike Common Lisp's condition system, which can resume from the error site.
Lecture 7A | MIT 6.001 Structure and Interpretation, 1986
Lecture 7A of the 1986 MIT 6.001 SICP course, with Gerald Sussman presenting the metacircular evaluator, part 1.
julia ecklar - the eternal flame
Julia Ecklar's recording of "The Eternal Flame," a filk song about God writing the universe in Lisp, written by Bob Kanefsky.
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013.
Hitler reacts to functional programming
A Downfall-style parody in which Hitler rages about functional programming concepts such as monads and Haskell.
Keynote: The Road To LiveView 1.0 by Chris McCord | ElixirConf EU 2023
Chris McCord's ElixirConf EU 2023 keynote tracing LiveView's evolution from simple form validation to full apps, with code examples and live demos of what 1.0 will offer.
John Backus: Function Level Programming and the FL Language 1987
A 1987 talk in which John Backus, creator of Fortran, presents function-level programming and the FL language, a successor to his FP work.
Inspiring a future Clojure editor with forgotten Lisp UX - Shaun Lebron
Shaun Lebron surveys 50 years of Lisp editing history and forgotten innovations in structural editing.
Twitter’s Quest for a Wholly Graal Runtime by Chris Thalinger
Chris Thalinger of Twitter describes the company's effort to run its Scala services on the Graal JIT compiler at Scala Days NYC 2018.
JVMLS 2015 - Compilers are Databases
Martin Odersky's JVM Language Summit 2015 talk argues that compilers can be thought of as databases.
The Algebra of Algebraic Data Types
A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic.
Racket: Why I Think It’s a Great Language, and Why I’m Not Using It Anymore
Leandro Facchinetti explains why he thinks Racket is a great language and why he stopped using it.