Tour of language landscape
summary
A whirlwind tour of five languages shows concrete wins not platitudes: S3 type provider generates types on the fly so missing S3 objects fail compile rather than runtime; F# units of measure prevent NASA‑style unit bugs by checking combinations at compile time; Rust borrow checker eliminates data races with ownership and move semantics and gives “zero cost” safety without a GC; Idris encodes vector lengths in types so functions require exact sizes and remove runtime checks.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 2:25Fsharp
- 3:46Type Access
- 5:36Types
- 9:06Elm
- 9:45Errors
- 10:57Homework
- 20:15Type
- 23:57Learning
- 25:40Learning tips
- 29:17Learning a new paradigm
related talks
25mType System Tips for the Real World
26mThe Freedom of Static Typing
33mRust and Haskell, sitting in a tree
21mWhat I Learned About Rust by Creating a Language
36mThe language that isn't
38mType-level interfaces in Haskell & Rust: pragmatic type-level programming
25m"Compiler-Driven Development: Making Rust Work for You"
46mKeynote: Rust is not about memory safety