函数式编程视频与教程
Jim Weirich 的 Y Not 演讲适合通过代码探索函数与递归。学习 lambda 演算示例前，先熟悉普通函数。完整分类还提供其他语言与讲解角度。
本分类共 225 个视频，按推荐分排序。
本主题视频
45:11Kilim: Fast, lightweight, cheap message passing in Java.
1:28:59Psp collections: views and more by Paul Phillips
40:19Physics in Clojure - Colin Smith
38:26"Code is the Easy Part" by Evan Czaplicki
59:51Elm Europe 2017 - Richard Feldman - Scaling Elm Apps
31:14"Make the Back-End Team Jealous: Elm in Production" by Richard Feldman
39:15The Maximal Graph - Wilker Silva
59:5101 The History of Standard ML: Ideas, Principles, Culture
1:12:14Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
7:10SICP: o fim de uma era
45:31The Do's and Don'ts of Error Handling • Joe Armstrong • GOTO 2018
40:00"Agility & Robustness: Clojure spec" by Stuart Halloway
38:36"A Little Taste of Dependent Types" by David Christiansen
55:29Marco Baringer's SLIME Tutorial Video
1:18:42Web Development in Emacs, Common Lisp and Clojurescript - Emacs SG
1:10:23"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
1:14:51Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
52:59Introducing Nx - José Valim | Lambda Days 2021
42:31"Datafun: a functional query language" by Michael Arntzenius
6:23Simon Peyton Jones - Haskell is useless
48:11ElixirConf 2021 - Isaac Yonemoto - Zig (heart) Elixir
43:31Analyzing Programs with Z3
45:03Keynote: The Last Hope for Scala's Infinity War - John A. De Goes
1:24:38Lecture 7A: Metacircular Evaluator, Part 1
58:22Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
1:26:11Succinct Data Structures
52:24Friday evening lightning talks
28:10CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
5:27Live ClojureScript Game Editor
40:42