4 ms·

I believe they have already started this effort. https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/

• pdimitar 2y ago
  They have but it's mostly a labor of love and it's very difficult to fit a static type system into a dynamically typed language. We already have some false positives. Happily the team is very motivated and is grinding away at them, for which we the community are forever grateful.