Elixir Advent Calendar 2014 23日目です. 動的型付け言語である Erlang で,静的に型エラーをチェックするためのツール Dialyzer というものがあります. 日本語で Web 上に公開されている情報だと33. 型仕様とErlangが一番わかりやすいでしょう. この文章では Dialyzer を Elixir で使う方法をいくつか紹介すると同時に,Dialyzer がどんなものか雰囲気がつかめることを願って書いています. 手動で設定する Programming Elixir という Elixir を始めるとっかかりにするにはとても良い本があります. その中の Appendix 2 に Type Specifications and Type Checking という章があり,Elixir で Dialyzer を使う方法を紹介しています.試してみましょう
![静的型チェックツールDialyzerをElixirから使う - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/3b1f07198512a9e66fc270f680100e9d3c645dde/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-f625e957b80c4bd8dd47b724be996090.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JUU5JTlEJTk5JUU3JTlBJTg0JUU1JTlFJThCJUUzJTgzJTgxJUUzJTgyJUE3JUUzJTgzJTgzJUUzJTgyJUFGJUUzJTgzJTg0JUUzJTgzJUJDJUUzJTgzJUFCRGlhbHl6ZXIlRTMlODIlOTJFbGl4aXIlRTMlODElOEIlRTMlODIlODklRTQlQkQlQkYlRTMlODElODYmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZ0eHQtY2xpcD1lbGxpcHNpcyZ0eHQtYWxpZ249bGVmdCUyQ21pZGRsZSZzPTRlMjU4NzcxZThhNzgxNjkyZjQ3MzE4NmZhZWE1MWRk%26mark-x%3D142%26mark-y%3D151%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwbmlrdSZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9NWZhYTljOWE3YTEyOTY3Y2UxYWI2NWQxMDczMzc4YmM%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3De499f85e98d06b766762c79896d00659)