News for hackers. Stuff that matters.

A comment on Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27. Parent comment

Re:Elixir 1.17 released: set-theoretic types in patterns, du... by zarathustreal on Wednesday June 12, 2024 @01:09PM (#40660490)
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
[ Parent | on HN ]
Re:Elixir 1.17 released: set-theoretic types in patterns, du... by zem on Wednesday June 12, 2024 @05:19PM (#40663232)
only if there is a fixed set of subclasses, which is not always or even mostly the case.
[ Parent | on HN ]