Any update on the Set theoretic types?

Chat / Discussions
1

I’m more than a little enthusiastic about the idea of types maybe coming to Elixir so this is just curiosity getting the better of me. Is the idea still being explored? Is it looking more or less likely that they might pan out?

5 Likes
2

There was an update at Elixirconf EU, it is being very actively developed.

There are some links on Guillaume’s page:
https://www.irif.fr/users/gduboc/index

8 Likes
3

ElixirConfEU 2023 videos are not up yet, but yeah there was a talk, which I missed.

But Jose did give the general update in the keynote also, and it’s basically that the research side has finished and now they’re looking to implement it into Elixir. Will take years I imagine and they’re looking for sponsors for the work.

2 Likes
4

The best link on his page its the demo:

https://typex.fly.dev/

image

5 Likes