Can someone refresh my memory on the challenges which associated types avoid (by comparison to type-parameterized protocols)?
Conversation
1
4
5
This makes sense! As I understand: that wouldn't *preclude* future support of non-one-to-one relationships, right?
1
Yeah, for instance Rust has "multi-dispatch" traits, where types are peers in the conformance: smallcultfollowing.com/babysteps/blog
1
1
and GHC lets you specify the dependencies alongside the parameter set haskell.org/haskellwiki/Fu
1
Replying to
Yes, which is wonderful! Adds a lot of complexity, for sure, though.