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
Error tracking, logs, APM, uptime and cron monitoring in one dev-friendly platform. Find and fix problems before your users notice.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #blog-post
- #ai
- #phoenix_html
- #iex
- #elixirconf-us
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #hex
- #security
- #metaprogramming
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.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Develop your skills with books, videos, and courses.
Producing high quality Elixir screencasts since 2017.
The deployment platform built for Elixir: PaaS ease, VPS control.
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.