What Scala can learn from Rust, Swift, and C++
summary
Compares concrete designs from Rust Swift and C++ to concrete Scala pain points and offers implemented prototypes: binary-search-like partition requires O(log n) predicate calls not just log n, Java-array-to-Index wrappers force a linear copy, and flattening fails when inner collections have no common type-class instance. Proposes experimental subcases for backtracking pattern matches, shows existential containers to pack values with witnesses for heterogeneous inner collections, and demonstrates retroactive conformance and the remaining associated-type / slice inference pitfalls.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 5:38Swift pattern matching
- 6:01Scala collections critique
- 15:55C++ and Rust generics
- 18:27Rust and Swift type classes
- 22:22Scala type classes
- 27:54Scala existential containers
- 32:47Rethinking collection indices
- 34:55Swift and Scala slices
- 41:00Summary








