Exclusive Interview With Dave Abrahams - Hylo: Generic-programming Language Built on Value Semantics
summary
A language built around strict mutable value semantics claims to deliver safety, ease of use, and efficiency while reducing tradeoffs; the project already has a working compiler and a standard library skeleton, with concrete design changes and several surprising research findings about aliasing and ownership. The team moves from "experimental" to explicit production ambitions, shows which features are practical today, and demonstrates a compiler that runs real examples and exposes remaining implementation challenges.
AI-written summary · about
chapters (7)
- 0:00Interview intro
- 1:26Early Boost work
- 3:56Boost origins and impact
- 8:58C++ to Swift to Hylo
- 12:12Value semantics inspiration
- 16:34Hylo development and future
- 19:02C++ insights from Hylo
related talks
28mBorrow checking Hylo
37mExperimental Solidity
56mValhalla Nullness Emotion
37mSolidity in 2022: Recent and Planned Features
27mReclaiming the Unexplored in Hybrid Visual Programming
01h 02mLanguage Design meets Verifying Compilers
36mFlexible Instruction-Set Semantics via Abstract Monads
29mFlambda 2 Types: An abstract domain for static analysis of functional programs (mo...
