3 ms·
Is this something that can be used in Rust? Or is it a feature that will be implemented later?
by Dewie 12y ago
Is this something that can be used in Rust? Or is it a feature that will be implemented later?
- steveklabnik 12y agoI am not familiar enough with the details. We don't have an _exact_ analogue, though our Traits are similar-ish. I've pinged #rust, I'll see if I can get someone who knows more to answer here.
- Dewie 12y agoI was mostly curious if there is some kind of (formal) specifications that one can use (axioms).
- deleted 12y ago[deleted]