Re:Ark – A modern systems programming language
by cwzwarich on Thursday June 25, 2015 @03:35PM
(#9780404)
There are alternative mechanisms that do not use Cell but still provide safe mutation of pointer-free data. Cyclone had one, and IIRC Rust itself even had one before a type system simplification.
[ Parent
| on HN ]
Re:Ark – A modern systems programming language
by pcwalton on Thursday June 25, 2015 @03:40PM
(#9780427)
Sure, and I'd be interested in exploring how those might be integrated into Rust in the future. Carving out subsets of pointer-free data seems pretty powerful.
(It doesn't seem like the language in the OP is interested in memory safety though.)