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