I believe you. However, the current Dialyzer/Dialyxir experience bad enough that the creator of Elixir is working on an effort to specify an entirely different†gradual typing system for the language:
This strongly suggests that Dialyxir is not working as effectively for most users as e.g. Typescript or Mypy.
†I can imagine people quibbling with 'entirely different', but the proposed type system does have a new(ish) theoretical basis that's still the subject of active research.
https://news.ycombinator.com/item?id=36282419
https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi...
This strongly suggests that Dialyxir is not working as effectively for most users as e.g. Typescript or Mypy.
†I can imagine people quibbling with 'entirely different', but the proposed type system does have a new(ish) theoretical basis that's still the subject of active research.