Sub-types can be represented with algebraic types so I’m not sure that’s necessa... | Hacker News

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

		zarathustreal on June 12, 2024 \| parent \| context \| favorite \| on: Elixir 1.17 released: set-theoretic types in patte... Sub-types can be represented with algebraic types so I’m not sure that’s necessarily true, for example an abstract class with subclasses can be represented as a sum type

zem on June 12, 2024 [–]

only if there is a fixed set of subclasses, which is not always or even mostly the case.

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