News for hackers. Stuff that matters.

A comment on Type-Level Programming in Rust.

Re:Type-Level Programming in Rust by dathinab on Monday October 05, 2020 @12:52PM (#24689495)
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.

[ Parent | on HN ]
Re:Type-Level Programming in Rust by ragnese on Tuesday October 06, 2020 @08:31AM (#24696992)
Especially 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!
[ Parent | on HN ]