4 ms·
Mercury has them too: https://www.mercurylang.org/information/doc-latest/mercury_ref/Unique-modes.html https://www.mercurylang.org/information/doc-latest/mercu
by toolslive 5y ago
Mercury has them too:
https://www.mercurylang.org/information/doc-latest/mercury_ref/Unique-modes.html https://www.mercurylang.org/information/doc-latest/mercury_r...
useful for things like file descriptors. The type system will, for example prevent sharing of your file descriptors between threads.
- deleted 5y ago[deleted]
- dejj 5y agoI consider Unique as user-defined affine types— half of what makes up a linear type. Clean and Mercury are both mentioned in: https://en.m.wikipedia.org/wiki/Substructural_type_system https://en.m.wikipedia.org/wiki/Substructural_type_system