u/FedericoBruzzone

I'm continuing the research on semantics for a new language. After studying Mutable Value Semantics (MVS) in the first post (reddit discussion), 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: https://federicobruzzone.github.io/posts/eter/MVS-or-ownership&borrowing.html

I’m researching a new semantics for a new language. During this process, I studied the Mutable Value Semantics (MVS) and I wrote a post about it. I simply want to share this study with you all and I'd love to hear your thoughts.

A new post will be coming soon where I'll discuss the limitations I’m finding in current models, and what I’d like to have for my own.

Link: https://federicobruzzone.github.io/posts/eter/MVS.html

I’m researching a new semantics for a new language. During this process, I studied the Mutable Value Semantics (MVS) and I wrote a post about it. I simply want to share this study with you all and I'd love to hear your thoughts.

A new post will be coming soon where I'll discuss the limitations I’m finding in current models, and what I’d like to have for my own.

Link: https://federicobruzzone.github.io/posts/eter/MVS.html