Set Theoretic Type System topic

[D4no0]

@heilong

Where is the best place to follow developments for the Set Theoretic Type System?

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

@heilong

There does not seem to be an existing category or single topic here. Tags for the subject are also a little fragmented.

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.