iliana utilise witches.town. Vous pouvez læ suivre et interagir si vous possédez un compte quelque part dans le "fediverse".
by the way this is my all-time favorite thing I've seen done in the rust type system so far
@iliana They're called blanket impls and they're great!
@manishearth that sounds incredibly comfy
@iliana Yeah, this is fun! I did this for a couple futures-rs stream combinators I wrote. Type-wise, I think this makes a "bigger"* type than Read, which is the opposite of what extension-through-inheritance does.°
* mathematicians please don't argue cardinality with me thanks
° I think. I seem to remember reading something where there are unintuitive results when thinking about inheritance but I think that's with functions between types.