I first heard about this feature in OCaml. I got the name subtype or pattern typ... | Hacker News

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

		celeritascelery on Nov 7, 2022 \| parent \| context \| favorite \| on: Rust: “Explain GATs Like I'm 5 Years Old” I first heard about this feature in OCaml. I got the name subtype or pattern type from this thread: https://internals.rust-lang.org/t/thoughts-on-pattern-types-...

karmakaze on Nov 7, 2022 [–]

Thanks for the reference. I can see how values of type A could be considered as a subset of values of type A|B, but I think the 'any value of type A' subset of type A|B is more related to types and less about restricting the range/set of values for a type.

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