azito.comThis domain may be for sale!
Erlang で静的解析チェックをする - みかログ
Erlang R11B-5 から，dialyzer が強化されて，かなりのチェックが可能になった♪ 以前は型チェックと書いていたけれども，実際のところは，型チェックより幅広い範囲でチェック可能なため，静的解析と言う方が正しい感じなので，訂正． 普段の make 時に，必ず dialyzer も実行するようにすると，実行前にエラーを検出できて，デバッグ効率が上がると思う． Erlang Tips に静的解析によるチェックの項目を追加した． dialyzer による静的解析では，型チェックだけではなく，case の分岐に不要なものが混じっていないか，永久ループして抜けない関数がないか，などもチェックしてくれる． また，typer を使うと，各関数がどのような入出力をするのかが，簡単に確認可能． 複数のｃａｓｅ文でタプルを返すような場合，タプルが返される，というだけではなく，それぞれのcaseで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
