4 ms·
Depends what you're used to. For me dependent types (like in Coq) are a way more natural way of thinking than Rust's affine types.
by ReleaseCandidat 5y ago
Depends what you're used to.
For me dependent types (like in Coq) are a way more natural way of thinking than Rust's affine types.