Elixir's “Set Theoretical Type System” prototype/demo/showcase
We were 100% not expecting this to show up on HN front page. :)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).You can find more context in Guillaume’s talk: https://m.youtube.com/watch?v=gJJH7a2J9O8The initial research announcement: https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...And the paper as an accurate and in-depth resource: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf