4 ms·
Just please don't overdo type-level programming, especially not if it involves trait bounds and wildcard impl. Finding the right balance between using type-lev
by dathinab 6y ago
Just please don't overdo type-level programming, especially not if it involves trait bounds and wildcard impl.
Finding the right balance between using type-level programming to ensure invariants and not using it is
a important skill.
- ragnese 6y agoEspecially so with a language like Rust, IMO. Its type system is powerful enough that you kind of can do it, but it gets awkward pretty quickly. In some ways that's a dangerous combo!