4 ms·
Another example, implementing IMAP with Rust's affine types. https://insanitybit.github.io/2016/05/30/beyond-memory-safety-with-types https://insanitybit.githu
by reificator 7y ago
Another example, implementing IMAP with Rust's affine types.
https://insanitybit.github.io/2016/05/30/beyond-memory-safety-with-types https://insanitybit.github.io/2016/05/30/beyond-memory-safet...
- staticassertion 7y agoHey, I wrote that article. There's now an actual, functional IMAP library that uses these techniques here: https://github.com/jonhoo/rust-imap https://github.com/jonhoo/rust-imap I did not contribute to that library, but it's nice to see a practical implementation. They use the same approach, essentially, as I describe in my blog.