エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
静的型チェックツールDialyzerをElixirから使う - Qiita
Elixir Advent Calendar 2014 23日目です. 動的型付け言語である Erlang で,静的に型エラーをチェック... 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 を使う方法を紹介しています.試してみましょう
2014/12/24 リンク