Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023

Learning Resources Talks
,
1

Code Sync: Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023

Comments welcome! View the code-sync and elixirconf-eu tags for more Code Sync and ElixirConf EU talks!

4 Likes
2

Interesting talk by Guillaume Duboc about the progress of bringing set-theoretic types to Elixir.

23 Likes
3

Excellent presentation!

I wonder if Typespecs will be possible to derive automatically from the new type system?

4

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.

2 Likes
5

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.

2 Likes
6

@josevalim is it in the plan for type system to support type aliasing? I mean example distinct type that is binary underneath but would be a distinct type of EmailAddress or type that is integer underneath but would be distinct type of UserId.

2 Likes
7

I asked this on today’s Twitch stream and the answer is yes. Twitch

1 Like
8

Guillaume and Jose did a Twitch Q&A today on the type system. You can watch it here.

11 Likes
9

It looks like it’s not available at that URL anymore. Is it still available somewhere else?

10

3 Likes