静的型チェックツールDialyzerをElixirから使う - QiitaElixir Advent Calendar 2014 23日目です． 動的型付け言語である Erlang で，静的に型エラーをチェックするためのツール Dialyzer というものがあります． 日本語で Web 上に公開されている情報だと33. 型仕様とErlangが一番わかりやすいでしょう． この文章では Dialyzer を Elixir で使う方法をいくつか紹介すると同時に，Dialyzer がどんなものか雰囲気がつかめることを願って書いています． 手動で設定する Programming Elixir という Elixir を始めるとっかかりにするにはとても良い本があります． その中の Appendix 2 に Type Specifications and Type Checking という章があり，Elixir で Dialyzer を使う方法を紹介しています．試してみましょう
