You're viewing the y.diskcat.com public feed.

raichooraichoo@chaos.social
Nov 12, 2026, 1:02 PM
Reasoning about #rust lifetimes in terms of subtyping and variance really makes a lot of sense to me. Certainly clarified some of the questions I had. https://doc.rust-lang.org/reference/subtyping.html https://www.youtube.com/watch?v=50hfyCecNag
💬 1🔄 0⭐ 0

Replies

raichooraichoo@chaos.social
Nov 12, 2026, 1:26 PM
Or for the more Category Theory inclined, thinking about the subtyping relation as the morphisms and the type constructors acting as covariant and contravariant functors acting on them. At least that's how my numbnut brain thinks about it. I'm happy for an even more nitpicky explanation. Do your worst "Well, actually!" fediverse. 😅
💬 0🔄 0⭐ 0