Elixir
公式の便利ツール
静的解析・型チェック
TypeSpec
https://hexdocs.pm/elixir/typespecs.html
Dialyzer
https://github.com/jeremyjh/dialyxir