Achieving Safe, Aliasable Mutability with Unboxed Types

Ante is a very interesting language. It has been in development for a long time with many revisions and has some promising features.

If you've used Rust you know about "immutable/shared" references and "mutable/owned" references; the mutability and sharing/ownership terms are used interchangeably. This post explores the possibility of "mutable shared" (and immutable owned) references.