~/talk

What Scala can learn from Rust, Swift, and C++

Talkat Scala Days 2025 · 2025-08-19..08-21· [scala, compilers-and-language-design]
links:none on file
links:none on file
slides:none on file

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

  1. 0:00Introduction
  2. 5:38Swift pattern matching
  3. 6:01Scala collections critique
  4. 15:55C++ and Rust generics
  5. 18:27Rust and Swift type classes
  6. 22:22Scala type classes
  7. 27:54Scala existential containers
  8. 32:47Rethinking collection indices
  9. 34:55Swift and Scala slices
  10. 41:00Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.