4 ms·
I guess you want something like the IO monad in Haskell and similar languages. I'm not sure how that would or could slot in Rust. I guess all IO could return so
by spoiler 4y ago
I guess you want something like the IO monad in Haskell and similar languages. I'm not sure how that would or could slot in Rust. I guess all IO could return something like an IOResult (although, I guess Result<T, E: IOError> could do that too that, but it's not "enforceable" in the same way it is in Haskell).
I like the idea in theory, but depending on how it's implemented at the language level, it could end up being a bit hit or miss.
- amluto 4y agoThe IO monad is sort of on the right track, but it’s far too coarse grained. Here are some efforts in the right direction: https://github.com/austral/austral https://github.com/austral/austral http://www.erights.org/ http://www.erights.org/ Deno does something along these lines too. WASM does, too, if you squint hard at it.
- spoiler 4y agoAh, I like this idea. I've played with Deno a bit, and loved the permissions feature. It would be nice to see some version of this in Rust too
- spoiler 4y agoAh, I like this idea. I've played with Deno a bit, and loved that feature. It would be nice to see some version of this in Rust too