Software Engineering & Languages
Programming language design
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.
Recommended videos
- How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
- Why Isn't Functional Programming the Norm? – Richard Feldman
- Maybe Not - Rich Hickey
- Conway's Game Of Life in APL
- Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
- Crockford on JavaScript - Volume 1: The Early Years
- Growing a Language, by Guy Steele
- Effective Programs - 10 Years of Clojure - Rich Hickey
- Brian Goetz - Stewardship: the Sobering Parts
- JavaScript: The Good Parts
- Ideas about a new programming language for games.
- "Propositions as Types" by Philip Wadler
- Object-Oriented Programming is Bad
- Invited Talk - Guy Steele
- 7 minutes of Pharo Smalltalk for Rubyists
- "The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
- Julia: to Lisp or not to Lisp?
- "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
- Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley
- "Unison: a new distributed programming language" by Paul Chiusano
- Domain Modeling Made Functional - Scott Wlaschin
- The Road to Zig 1.0 - Andrew Kelley
- "Production Prolog" by Michael Hendricks
- Co-dfns Live Stream: Compiler Design and Architecture