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

OOPSLA Conference: Growing a Language
Guy Steele's classic 1998 OOPSLA keynote on how a programming language must grow with its user community.

dotGo 2015 - Rob Pike - Simplicity is Complicated
Rob Pike's dotGo 2015 talk argues that Go only seems simple, and that its simplicity hides real complexity that is part of the design.

Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
A standing whiteboard conversation at Lang.NEXT 2012 among Carl Hewitt, Erik Meijer and Clemens Szyperski about the actor model.

2016 - On The Shoulders Of Giants - Damian Conway
Damian Conway's hour-long keynote at the Perl conference, On the Shoulders of Giants, showing off Perl 6 (Raku) features with history, algorithms and a quantum math operator built with grammars.

In Search of Tomorrow
Chris Granger, creator of Light Table and the Eve language, gives a Berkeley data science lecture on what computation and programming might look like in ten years.

The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019
Julia co-creator Stefan Karpinski explains why multiple dispatch makes Julia code and types reusable across packages with so little friction.

Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
Evan Czaplicki, creator of Elm, talks at Curry On 2015 about user-focused language design.

Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries.

Can C++ be 10x Simpler & Safer? - Herb Sutter - CppCon 2022
Herb Sutter's CppCon 2022 talk on whether C++ can become ten times simpler and safer.

"I See What You Mean" by Peter Alvaro
Peter Alvaro's Strange Loop 2015 talk argues that query languages let you state what you mean, and applies that to distributed programming.

RailsConf 09: Robert Martin, "What Killed Smalltalk Could K
Robert Martin's RailsConf 2009 talk looks at why Smalltalk lost out despite its technical strengths.

Factor: an extensible interactive language
A 2008 Google Tech Talk in which Slava Pestov introduces Factor, a concatenative language influenced by Forth, Lisp and Smalltalk.

"Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Aditya Siram introduces Shen, a small hosted Lisp with macros, a built-in Prolog and an optional type system.

Scale By The Bay 2018: Bryan Cantrill, Rust and Other Interesting Things
Bryan Cantrill argues that programming languages and platforms reflect core values, and compares languages through that lens, with Rust as a main example.

Dconf 2014 Day 2 Keynote: The Last Thing D Needs -- Scott Meyers
Scott Meyers' keynote at DConf 2014, drawing on 25 years of C++ experience to offer the D language community a plea about what it should avoid.

Alan Kay - Programming and Scaling
An Alan Kay talk on programming and scaling, covering theoretical limits of code size, engineering versus tinkering, and biological cells as inspiration for object-oriented design.

The Pervert's Guide to Computer Programming Languages - SXSW
A SXSW talk by W Watson that uses Lacanian psychoanalysis, with nods to Zizek, to critique popular programming languages.

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution.

On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
Shriram Krishnamurthi's PWLConf 2019 talk on the formal notion of expressive power of programming languages, based on Felleisen's paper.

Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain's guest lecture for CMU's Esoteric Programming Languages course shows that PowerPoint transitions and slides are Turing complete without macros, building up to a mind-bending fractal ending.

Design Patterns vs Anti pattern in APL by Aaron W Hsu at FnConf17
Aaron Hsu discusses design patterns and anti-patterns in APL and why the language is productive despite its write-only reputation.

Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented.

Anders Hejlsberg and Lars Bak: TypeScript, JavaScript, and Dart
A Channel 9 conversation recorded at GOTO 2012 between Anders Hejlsberg (TypeScript) and Lars Bak (Dart).

Edwin Brady - Idris 2 - Type-driven Development of Idris
Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.