Types in Erlang - a shallow dive

A short look at types on the BEAM and what else they can do — beyond simple guards and dialyzer specs — to make Erlang and Elixir codebases easier to reason about and to evolve.