Interesting talk by Guillaume Duboc about the progress of bringing set-theoretic types to Elixir.
I wonder if Typespecs will be possible to derive automatically from the new type system?
Some of it yes in theory.
The theory support it. Hoe much of that realistically end up in elixir and how useful it is is still an open question.
I don’t understand why the talks focus on intersection type example. I don’t think that the code I encounter daily faces that situation often. Maybe it is just an interesting theoretical problem?
The first things that I want to know about is adt’s/sum types and then records.