Erlang で静的解析チェックをする - みかログ

テクノロジーカテゴリーの変更を依頼記事元:

blog.mikage.to

3 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

Erlang で静的解析チェックをする - みかログ

Erlang R11B-5 から，dialyzer が強化されて，かなりのチェックが可能になった♪ 以前は型チェックと書い... Erlang R11B-5 から，dialyzer が強化されて，かなりのチェックが可能になった♪ 以前は型チェックと書いていたけれども，実際のところは，型チェックより幅広い範囲でチェック可能なため，静的解析と言う方が正しい感じなので，訂正．普段の make 時に，必ず dialyzer も実行するようにすると，実行前にエラーを検出できて，デバッグ効率が上がると思う． Erlang Tips に静的解析によるチェックの項目を追加した． dialyzer による静的解析では，型チェックだけではなく，case の分岐に不要なものが混じっていないか，永久ループして抜けない関数がないか，などもチェックしてくれる．また，typer を使うと，各関数がどのような入出力をするのかが，簡単に確認可能．複数のｃａｓｅ文でタプルを返すような場合，タプルが返される，というだけではなく，それぞれのcaseで

erlang

ブックマークしたユーザー

shimooka2007/07/02
lizy2007/06/22
cooldaemon2007/06/22

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx