4 ms·
I think the toplevel commenter was looking for something that could be checked at compile time. The "random int64" idea is identical to "some type that impleme
by kelnos 2y ago
I think the toplevel commenter was looking for something that could be checked at compile time. The "random int64" idea is identical to "some type that implements Copy", and would require runtime verification, which is not really an improvement on the current state of affairs.
- lalaithion 2y agoIt would prevent callers from not knowing the function depends on a specific runtime. That’s a huge improvement in my opinion. I expect something along the lines of the GhostCell paper could be used to implement this, to be honest, but I think it would be more verbose than necessary. (Really, we need an effects system, and then Tokio could just be an effect that contains, but is different from, async)