Hacker News Reader

Generics are about encoding supplemental bits of information in the type system. That information has to be spelled out somewhere

View on HN

Yes, however in my experience you typically have to write out constraints like these a bunch of times. Refactoring a generic trait with 10 implementations is a nightmare. A struct with a couple of variations on the constraints for its impl blocks is also painful beyond like one generic param. It has to be spelled out somewhere, but then at minimum somewhere else, and in general about 3-4 more times.

I see why Haskell folks like their type level functions.

In Haskell I used to do this trick where if I wanted to neatly type annotate, but my function had some crazy signature, I'd compile the program, but passing the function into another function in an intentional incorrect way. The compiler would complain "expected A but got B". And I would simply copy B and make it the type annotation :P

Nowadays the editor would help you do that. When I'm coding Rust the editor shows the types inline in a small font, which is very helpful.

yeah, bounds written on the type decl shouldn't be repeated on the impl. the current typeck is not smart enough to do that but the ever-"nearly there we promise" replacement is. it'll land one day. they promise

Reply on news.ycombinator.com