heilong
Where is the best place to follow developments for the Set Theoretic Type System?
There does not seem to be an existing category or single topic here. Tags for the subject are also a little fragmented.
I see some articles on the elixir-lang.org blog. Perhaps there’s a Discord or something else entirely.
If it was a new category, it could contain links to relevant papers, specs, talks, resources, questions, edge cases, bugs, performance and future directions,
Perhaps the project could benefit from more unique branding that would make it easier to search and tag.
Of course, the abbreviation Elixir Type System (ETS) is already taken 
and STTS is awkward. So perhaps a name - one random suggestion might be ‘Tethys’, a Greek god and ancient ocean, which is an anagram of a subset of ‘set theory’.
Where Next?
Trending in Discussions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Courses that'll move you from confusion to "Aha, now I get it!"
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #ai
- #elixirconf-us
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #elixirconf-eu
- #api
- #forms
- #metaprogramming
- #hex
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Master modern tools, write cleaner code, and tackle real-world challenges.
Bringing learning, work and compliance together since 1987.
Producing high quality Elixir screencasts since 2017.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 1- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
D4no0
Github, follow @josevalim
, for example one of the big commits that enabled inference for functions: Turn type inference up to 1000 by josevalim · Pull Request #14145 · elixir-lang/elixir · GitHub
This is still a WIP that is handled by the elixir core team. I think once a checkpoint will be reached, there will be an update on the status and guidelines on how to make use of the new capabilities.