eqwalizer - Erlang の型チェッカー

(A type-checker for Erlang)

Created at: 2022-06-22 16:57:52
Language: Erlang
License: Apache-2.0

eqWAlizer

Erlang の型チェッカー。

rebar3 プロジェクトで使用する

  1. OTP 25 を使用

  2. https://github.com/WhatsApp/eqwalizer/releases

    elp
    からシステムのバイナリをダウンロードします

    Mac では、最初に実行可能ファイルを実行しようとすると、次のメッセージが表示される可能性があります。「開発者を検証できないため、elp を開けません。」これを解決するには、[設定] > [セキュリティとプライバシー] に移動して、例外を追加します。または、ソースから elp をビルドすることもできます。

  3. eqwalizer_support
    rebar3 プロジェクト定義に依存関係とプラグインを追加
    eqwalizer_rebar3
    します (以下を参照)。

  4. プロジェクト ディレクトリから次を実行します。

  • elp eqwalize <module>
    単一のモジュールの型チェック
  • elp eqwalize-all
    src
    プロジェクト内のすべてのモジュールをタイプチェックする

追加

eqwalizer_support
eqwalizer_rebar3
:

{deps, [
  {eqwalizer_support,
    {git_subdir,
        "https://github.com/whatsapp/eqwalizer.git",
        {branch, "main"},
        "eqwalizer_support"}}
]}.

{project_plugins, [
  {eqwalizer_rebar3,
    {git_subdir,
        "https://github.com/whatsapp/eqwalizer.git",
        {branch, "main"},
        "eqwalizer_rebar3"}}
]}.

よくある質問

次のような一般的な質問への回答については、FAQ ドキュメントを参照してください。

  • eqWAlizer と Dialyzer の違いは何ですか?
  • 新しいツールを作成するのではなく、Dialyzer を拡張してみませんか?
  • エリクサーはどうですか?

ライセンス

eqWAlizer はApache のライセンスを受けています。