Elixir's “Set Theoretical Type System” prototype/demo/showcase
We were 100% not expecting this to show up on HN front page. :)<p>In any case, the title is accurate in that it is only a prototype and it was built by Guillaume to explore how Elixir idioms map to set-theoretic types. The UX and syntax do not reflect how the type system would look in Elixir itself (if we get a type system at all).<p>You can find more context in Guillaume’s talk: <a href="https://m.youtube.com/watch?v=gJJH7a2J9O8">https://m.youtube.com/watch?v=gJJH7a2J9O8</a><p>The initial research announcement: <a href="https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/" rel="nofollow noreferrer">https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...</a><p>And the paper as an accurate and in-depth resource: <a href="https://www.irif.fr/_media/users/gduboc/elixir-types.pdf" rel="nofollow noreferrer">https://www.irif.fr/_media/users/gduboc/elixir-types.pdf</a>