Yep. You feed files annotated with those to Dialyzer or similar for not-runtime typechecking. That plus the basic runtime checking provided by guard expressions [0] gives you a bunch of coverage... and I think some of the folks who like Elixir are working on their own typechecker thing? I don't really know, because I don't use Elixir.

[0] <https://www.erlang.org/doc/system/expressions.html#guard-exp...>

You might like https://gleam.run/, another BEAM language but with type-checking.

https://tour.gleam.run/basics/type-checking/

Gleam compiles to Erlang. So you can skip Erlang entirely but get all of the BEAM and ecosystem's benefits.

Gleam is very much worth checking out. It's syntax is very nice and natural feeling.

I have checked out Gleam and yes it does look delightful. Function captures are a really cool idea.