In Elixir you can annotate functions with type signatures and then use a tool like Dialyzer(1) to perform static analysis on the compiled bytecode. There is too

In Elixir you can annotate functions with type signatures and then use a tool like Dialyzer(1) to perform static analysis on the compiled bytecode. There is tooling that integrates with mix in Elixir called which makes this easy(2) 1) http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.html http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.htm... 2) https://github.com/jeremyjh/dialyxir https://github.com/jeremyjh/dialyxir