On Thursday, 18 October 2018 at 21:24:53 UTC, jmh530 wrote:
On Thursday, 18 October 2018 at 17:17:37 UTC, Atila Neves wrote:
[snip]
Assuming this world... how do you use shared?
https://github.com/atilaneves/fearless
I had posted your library before to no response...
I had two questions, if you'll indulge me.
The first is perhaps more wrt automem. I noticed that I
couldn't use automem's Unique with @safe currently. Is there
any way to make it @safe, perhaps with dip1000?
Yeah, I punted on making anything there @safe. I have to go back
and fix it. At least I wrote Vector from scratch to be @safe.
Second, Rust's borrow checker is that you can only have one
mutable borrow. This is kind of like Exclusive, but it does it
at compile-time, rather than with GC/RC. Is this something that
can be incorporated into fearless?
Well, Rust's version of Exclusive is Mutex, and that's pretty
much always used with Arc. The closest we have to a borrow
checker is DIP1000 and that's what fearless relies on.