Let me tell you a story about why Rust is an actual game changer.
-
Show this thread
-
Replying to @bodil
Oh — is rust also able to guarantee that a continuation / completion must be called, and only be called once?
2 replies 0 retweets 0 likes -
Replying to @benjohnbarnes
It can't guarantee that it MUST be called, but it can guarantee that it's not called twice.
1 reply 0 retweets 2 likes -
Replying to @bodil
Cool, thank you. Guaranteeing something must be called sounds a bit halting problem anyway, so fair enough :-)
2 replies 0 retweets 3 likes -
Replying to @benjohnbarnes @bodil
I think it should be possible without the halting problem - it's essentially checking to see if a variable is "used" in some sense, right?
1 reply 0 retweets 1 like -
Replying to @harriesadam @bodil
I'm not sure :-) Such a static check seems feasible (in principle). And would be of some use, providing confidence the continuation _can_ be called (ie, there isn't a glaring hole). But it's not a guarantee it _will_ be called.
2 replies 0 retweets 1 like
Not sure it gets you there, but see related must_use attribute: https://doc.rust-lang.org/reference/attributes.html#must_use …
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.