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.
"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
Pokey Rule presents Cursorless, a spoken language designed for editing code by voice, built on tree-sitter parsing with smart structural and simple token-level primitives.
Mountain West Ruby 2012 Capability vs. Suitability by Gary Bernhardt
Gary Bernhardt argues that software history moves in reactions to earlier tools, and that new tools are not simply better in every way.
Going Native 2012 Keynote Stroustrup
Bjarne Stroustrup's keynote at Going Native 2012 covers the ideas behind C++11, including using types to prevent errors and simplifying code with the STL.
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse.
The Forgotten Art of Structured Programming - Kevlin Henney [C++ on Sea 2019]
Kevlin Henney revisits structured programming, from Go To Statement Considered Harmful to block-structured code and object orientation.
What's Bad About Julia | Jeff Bezanson | JuliaCon 2019
Julia co-creator Jeff Bezanson candidly lists fundamental problems with the language at JuliaCon 2019, including modularity, types and compiler latency, and how they might be solved.
"A Little Taste of Dependent Types" by David Christiansen
David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs.
2017 LLVM Developers’ Meeting: “Implementing Swift Generics ”
Swift compiler engineers explain how Swift implements generics using dictionary-passing with reified type metadata.
"Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022)
Felienne Hermans presents Hedy, a gradual programming language for teaching kids that moves through levels from almost no syntax toward full Python.
"Datafun: a functional query language" by Michael Arntzenius
Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language.
Simon Peyton Jones - Haskell is useless
A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe.
Geo Carncross: How to program computers (kos)
A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots.
Perl 6 for Mere Mortals
Curtis Poe's FOSDEM talk arguing that day-to-day Perl 6 is far simpler than its enthusiasts' talk of exotic features suggests.
Keynote: The Last Hope for Scala's Infinity War - John A. De Goes
John A.
Google I/O 2011: Java Puzzlers - Scraping the Bottom of the Barrel
Josh Bloch and Jeremy Manson present the eighth installment of Java Puzzlers at Google I/O 2011, a set of surprising corner cases in the Java language and libraries.
Jonathan Blow on scripting languages
A 10-minute clip from a Jonathan Blow Twitch stream in which he argues that game engines do not really need separate scripting languages.
Data-Oriented Demo: SOA, composition
A live-coded demo by Jonathan Blow showing how to get object-system-style expressiveness in a data-oriented way, covering structure-of-arrays layouts and composition.
TypeScript types can run DOOM
The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system.
Ada, Past Present and Future
An AdaCore talk on the history, present and future of the Ada language, including remarks from Robert Dewar.
Carbon Language Successor Strategy: From C++ Interop to Memory Safety - Chandler Carruth - CppNow 23
Chandler Carruth's CppNow 2023 talk describes Carbon as a successor language to C++ rather than a superset, focusing on C++ interop and a path to memory safety in large existing codebases.
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware.
[#36] Zig Roadmap 2024 - Andrew Kelley
Andrew Kelley's 2024 Zig roadmap talk, followed by a Q&A, covers the language's priorities and the state of the project.
Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Aaron Hsu explains why programmers often find APL harder to learn than people with no programming background.
(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
A RacketCon talk presenting Fructure, a prototype extensible structured editing engine in Racket.