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.
How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
Armin Ronacher, creator of Flask, explains how CPython's internals and C API leak into the language's semantics.
Why Isn't Functional Programming the Norm? – Richard Feldman
Richard Feldman argues that functional programming is not the norm largely because of historical accidents, such as C++ popularity, platform exclusivity, marketing spend and network effects, rather than merit.
Maybe Not - Rich Hickey
Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time.
Conway's Game Of Life in APL
A short Dyalog demonstration building Conway's Game of Life in a single line of APL, step by step.
Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
The first lecture of MIT's 1986 6.001 Structure and Interpretation of Computer Programs, given by Harold Abelson, introducing Lisp and the idea of computer science as the study of process.
Crockford on JavaScript - Volume 1: The Early Years
Douglas Crockford's first Yahoo lecture puts JavaScript in historical context.
Growing a Language, by Guy Steele
Guy Steele's 1998 OOPSLA keynote on designing a programming language that its users can grow.
Effective Programs - 10 Years of Clojure - Rich Hickey
Rich Hickey's talk at Clojure's tenth anniversary on the kind of programs Clojure is designed for.
Brian Goetz - Stewardship: the Sobering Parts
Java Language Architect Brian Goetz talks at a Clojure conference about the challenges of evolving a mature language like Java while preserving compatibility with existing code and developer expectations.
JavaScript: The Good Parts
Douglas Crockford's 2009 Google tech talk on the good and bad parts of JavaScript, based on his book.
Ideas about a new programming language for games.
Jonathan Blow's first talk on designing a new programming language for games, which became Jai.
"Propositions as Types" by Philip Wadler
Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence).
Object-Oriented Programming is Bad
Brian Will makes the case for procedural programming over object-oriented programming, arguing that OOP's promised encapsulation and decoupling are largely illusory.
Invited Talk - Guy Steele
Guy Steele's invited talk at Clojure/conj on the informal metanotation computer scientists use in papers to describe languages.
7 minutes of Pharo Smalltalk for Rubyists
Ruby developer Avdi Grimm gives a seven-minute tour of Pharo Smalltalk's development environment, focusing on tools like search-by-example and the integrated, live coding experience.
"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
Evan Czaplicki, creator of Elm, examines how programming languages are funded.
Julia: to Lisp or not to Lisp?
Stefan Karpinski's European Lisp Symposium 2016 talk asks whether Julia is a Lisp.
"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions.
Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley
Andrew Kelley, creator of Zig, introduces the language at the Recurse Center's Localhost series in 2018.
"Unison: a new distributed programming language" by Paul Chiusano
Paul Chiusano's Strange Loop 2019 talk introduces Unison, an open-source functional language for distributed, elastic systems.
Domain Modeling Made Functional - Scott Wlaschin
Scott Wlaschin's NDC talk on using statically typed functional programming, F# in particular, to model a business domain.
The Road to Zig 1.0 - Andrew Kelley
Zig creator Andrew Kelley justifies why Zig exists and tours its distinctive features, including C interoperability and comptime, along with what people had built and what 1.0 would bring.
"Production Prolog" by Michael Hendricks
Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop.
Co-dfns Live Stream: Compiler Design and Architecture
A two-hour live stream in which Aaron Hsu explains the architecture, design history and aesthetic of Co-dfns, his parallel APL compiler.