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