It has support for type annotations, though, and tools like dialyzer can check for type errors much like TypeScript does: https://elixir-lang.org/getting-started/typespecs-and-behavi...