Affine/Unique/Owner type annotations about bosquelanguage HOT 1 CLOSED

I am wary of anything that makes mutability visible in a functional/applicative system. Part of my curiosity about your work is around how mutation/assignment is proposed to be seen in Bosque Language and reasoned about. (Ditto things like input-output, random sources, etc.)

At the same time, the power of mutability under the covers, where copying/alteration is not observable is really attractive, especially for bulk operations and also small changes to large entities.

I am conflicted yet want to stick to essential immutability and finding a way to confine mutability in interior functioning that preserves semantic immutability above the surface. I will not go of that quietly in my own work. I will be intrigued to see how Bosque deals with this concern, which may be mine alone.

from bosquelanguage.