I didn't even know it was possible, now I want to learn what a linked list looks like without using unsafe
It would be instructive to try to look at how, say, ATS, or Idris, does it and see how far you can get replicating whatever people do there in Rust’s type system.
-
-
I’m sure you won’t get all the way since those are dependent type systems but it’d be interesting to see what we’re missing.
-
I have this rough vision of layers of type system complexity, where a more advanced opt-in type system can be used to prove what must be unsafe code today correct, while not leaking through to the outside normal-Rust world to keep the language accessible.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.