Comments (3)
Hi, and thanks for your detailed report!
I think the issues you are describing only apply to an older version of Selfie though (I'm assuming 0.0.2
?).
On the latest version on main (726013f) I have already made fixes to the lifetimes in with_referential[_mut]
, following the discussion on the rust forum.
I think the changes in that commit fix the issues you've been describing, as the examples you provide do not pass the borrow checker anymore, and the referential
method is gone (since indeed it is impossible to write as of now). Of course if you could double-check that it is actually the case, that would be very helpful. 🙂
Another issue here is also that I completely forgot to release v0.0.3
with those fixes. As per that same forum thread, it seems my current approach is most likely unsound anyway, so I ended up stopping to work on the project altogether.
I had the idea to leverage async
function for self-referential purposes instead (see the async
branch), but I couldn't make it work, and I just found out nolife
beat me to it anyway! (On top of seemingly being actually sound and having a smart name too!)
I'll make a v0.0.3
release with the aforementioned fixes so that my few users get to at least have less unsoundness, and then I'll follow up by properly archiving the project, and referring to other projects like ouroboros
or nolife
, which actually seem to be sound.
from selfie.
Ah, yes, I haven't looked at the (unpublished on crates.io) latest version from the repo I suppose.
from selfie.
Yes, that's my bad, I should have published it on crates.io a while ago. I just uploaded v0.0.3
with the fixes and yanked the previous versions, and I properly marked the library as unsound in the README.md
file.
Thanks a lot for your help by the way, here and on the forums. Even if this experiment didn't pan out, your work is very much appreciated. 🙂
from selfie.
Related Issues (2)
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from selfie.