3 ms·

https://www.erlang.org/doc/system/typespec.html https://www.erlang.org/doc/system/typespec.html

• simoncion 11mo ago
  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-expressions https://www.erlang.org/doc/system/expressions.html#guard-exp...>