eqwalizer - Erlang 的类型检查器。

Created at: 2022-06-22 16:57:52
开发语言: Erlang
授权协议: Apache-2.0

eqWAlizer

Erlang 的类型检查器。

将其用于钢筋3项目

  1. 使用 OTP 25

  2. https://github.com/WhatsApp/eqwalizer/releases 下载系统的二进制文件

    elp

    在Mac上,当第一次尝试运行可执行文件时,你可能会收到以下消息:“elp无法打开,因为无法验证开发人员。要解决此问题,请转到“首选项”>“安全和隐私”,然后添加例外。或者,你可以从源代码构建 elp。

  3. 将依赖项和插件添加到 rebar3 项目定义中(见下文)

    eqwalizer_support
    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"}}
]}.

常见问题

有关一些常见问题的答案,请参阅常见问题解答文档,包括:

  • eqWAlizer和Dialyzer有什么区别?
  • 为什么不扩展Dialyzer,而不是创建一个新工具?
  • Elixir呢?

许可证

eqWAlizer是Apache许可的