For me, mcmc.
I'd love to hear what's your personal opinion!
I'm continuing the research on semantics for a new language. After studying Mutable Value Semantics (MVS) in the (), I wrote a follow-up that examines the trade-offs between MVS and the Ownership & Borrowing model.
The post covers:
-
Friction points in Rust's borrow checker
-
Where Hylo's MVS solves them and where it introduces new trade-offs
-
Swift's hybrid approach and its runtime exclusivity checks
-
Open questions I'm exploring for my own language design
I'd love to hear your thoughts.
Link:
