We're Doing It All Wrong
summary
Claim: after moved a million lines of code much is wrong — the Scala compiler is nearly unmodifiable, forcing rocket‑science changes and blocking performance fixes. Concrete examples: comparisons encoded as plain ints, universal equality leaking type safety, shared mutable/immutable collection code causing correctness bugs, inability to optimize because of inspectable semantics. Built items: a macro that fuses filters for 3× speed, a picker rewrite using regular tree traversers, extensive profiling showing ~10× hotspots. Proposal: smaller, layered ASTs, VM tied to AST, and change‑local diff-driven rebuilds.
AI-written summary · about
chapters (19)
- 0:00Introduction and background
- 1:23Critique of Scala development
- 3:03The core problem: modifiability
- 5:07The cost of poor design
- 7:37Complexity and type safety
- 10:36The fallacy of compatibility
- 12:07Universal equality issues
- 14:26Problems in collection design
- 16:27Performance vs correctness
- 19:13Limitations of optimization
- 22:11Silent coercion dangers
- 23:34Fundamentals of engineering
- 26:50The failure of general tools
- 28:20The cost of expressiveness
- 31:00Restriction and construction
- 34:55Designing for change
- 37:54Tools over languages
- 40:36Future vision and conclusion
- 43:46Q&A session
