The original post Jose wrote announcing the gradual typing project has a good summary of the goal specific to Elixir (2022) https://elixir-lang.org/blog/2022/1

The original post Jose wrote announcing the gradual typing project has a good summary of the goal specific to Elixir (2022) https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/ https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...