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 aatd86 on Wednesday June 12, 2024 @12:01PM (#40659603)
It's the definition of types as set of values. Then you have set operations on these types that are lade available. That translates into subtyping considerations.

Cf. Castagna's et.al. For semantic subtyping.

[ Parent | on HN ]

There are no comments on this comment yet.