On Wednesday, 17 December 2014 at 07:48:52 UTC, bearophile wrote:
Walter Bright:
I'm afraid I don't understand at all what you wrote.
Perhaps reading about linear type systems could help:
http://en.wikipedia.org/w/index.php?title=Substructural_type_system&redirect=no#Linear_type_systems
But note that we want a "relaxed" linear type system. In general,
we are fine with multiple aliases, although there are some
applications where strict uniqueness is useful. Deadalnix'
proposal goes in this direction.
