Code Monkey home page Code Monkey logo

Comments (3)

prokopyl avatar prokopyl commented on July 23, 2024

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.

steffahn avatar steffahn commented on July 23, 2024

Ah, yes, I haven't looked at the (unpublished on crates.io) latest version from the repo I suppose.

from selfie.

prokopyl avatar prokopyl commented on July 23, 2024

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 photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.