I mean, a GAT is just a monoid in the category of endofunctors, after all. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sagacity on Nov 7, 2022 \| parent \| context \| favorite \| on: Rust: “Explain GATs Like I'm 5 Years Old” I mean, a GAT is just a monoid in the category of endofunctors, after all.

kibwen on Nov 7, 2022 [–]

GATs don't actually let you go full monad, so not quite. :P

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact