PickVidsBest Programming language design Videos
The 193 Programming language design videos here were recommended by different people across different months. Choose by who it is for: 15 introductory, 107 intermediate, 21 for a general viewer, and 50 for someone who wants the harder derivation. Most of them are a talk. What they share is that one speaker finishes a claim, and the examples exist to hold that claim up. Channels you will keep seeing include Strange Loop Conference, ClojureTV, Google TechTalks.
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.