Best Programming language design Videos
「Programming language design」下面有193部被不同的人、在不同月份推荐过的视频。挑的时候先看对象:入门15部,适合还没学过的人;进阶107部,适合已经懂术语的人;普通向21部,按兴趣就能看;更硬的50部,留给想看推导或细节的人。这一类数量最多的是演讲,所以它们的共同点是一位讲者把一个判断讲完,例子是为了撑住这个判断。常出现的频道包括Strange Loop Conference、ClojureTV、Google TechTalks。目录给这个主题划的范围是:Programming language design: language semantics, type systems, type theory, syntax, language features, Jai, Haskell type classes, Rust design, language history, why languages succeed or fail.如果只看三部,就从《How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework》开始,它负责把问题讲出画面;然后看《Why Isn't Functional Programming the Norm? – Richard Feldman》,换一种讲法或例子;最后看《Maybe Not - Rich Hickey》,留给已经有基础的人。页面按每页24部切开,顺序看的是被推荐跨越了多少个月,不是播放量。每条标题下面那一句是这部片子自己的内容说明,用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看,把引用当成只是拿来举例,把批评留下来对照,不要把每条评论都当成同一力度。

Four Languages from Forty Years Ago - Scott Wlaschin
Scott Wlaschin's NDC Oslo talk on four 1970s languages, SQL, Prolog, ML and Smalltalk.

A Tour of Prolog
Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting.

Living Computation: Robust-first programming in ULAM
Dave Ackley presents robust-first computing and the ULAM programming language for the Movable Feast Machine, a cellular-automata-like architecture.

Chuck Moore's Fireside Chat 2011
Chuck Moore, creator of Forth, gives his annual Fireside Chat at Forth Day 2011 at Stanford.

Self: The Movie;
A 1995 Sun Microsystems film about the Self programming language, a prototype-based Smalltalk relative, showing its live, graphical programming environment.

2023 LLVM Dev Mtg - Mojo 🔥: A system programming language for heterogenous computing
A 2023 LLVM Developers' Meeting keynote by Abdul Dakkak, Chris Lattner and Jeff Niu introducing Mojo, a Python-family systems language built on MLIR and LLVM for heterogeneous computing.

Computer Science - Brian Kernighan on successful language design
Brian Kernighan gives a talk at the University of Nottingham on how to succeed in language design without really trying.

Why Static Typing Came Back • Richard Feldman • GOTO 2022
Richard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker.

Philip Wadler - Propositions as Types (Lambda Days 2016)
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

Dynamic Languages Wizards Series - Panel on Language Design
A 2001 panel with Paul Graham, John Maeda, Jonathan Rees and Guy Steele on programming language design, part of the Dynamic Languages Wizards Series.

"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Guy Steele's Strange Loop 2010 talk argues that programmers should not have to think about parallelism, and that languages should support algorithms built on independence and divide-and-conquer.

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.

Keynote. Professor Steven G. Johnson | JuliaCon 2019
Steven G.

Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341
A roughly three-hour Lex Fridman podcast conversation with Guido van Rossum, the creator of Python.

"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Timothy Baldridge presents Pixie, a lightweight Lisp built on RPython, at Strange Loop 2015.

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.

"Eve" by Chris Granger
Chris Granger presents Eve, a programming environment designed to be approachable for humans, at Strange Loop 2015.

Imba is Underrated: Building a counter in 49 seconds
A five-minute video showing how to build a counter in the Imba web programming language in under a minute, then style it.

The Origins of APL - 1974
A 1974 talk-show-style interview with the original developers of APL, including Iverson, Falkoff and Breed.

"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.

"Type-Driven Program Synthesis" by Nadia Polikarpova
Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid.

Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated
Jonathan Blow's LambdaConf 2025 keynote demonstrates the Jai programming language and explains its design.

Parallelism, Concurrency, and Asynchrony in Perl 6 / Jonathan Worthington
Jonathan Worthington's YAPC Asia 2015 talk on parallelism, concurrency and asynchrony in Perl 6.

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.