eqwalizer WhatsApp 开源的erlang类型检查工具

可能大家都听说过WhatsApp 对于erlang 使用是比较多的，WhatsApp 的IM 系统就是基于erlang 开发的，同时WhatsApp 也开源了
一些erlang周边的工具eqwalizer 是一个类型检查的，可以与rebar 以及非rebar 项目集成

参考使用

基于rebar的项目

• 下载工具
  https://github.com/WhatsApp/eqwalizer/releases 地址，选择自己系统的文件，目前木有windows 版本的，之后需要配置环境变量
• 项目配置工具
  rebar.config

 
{erl_opts, [debug_info]}.
 
{deps, [
  {eqwalizer_support,
    {git_subdir,
        "https://github.com/whatsapp/eqwalizer.git",
        {branch, "main"},
        "eqwalizer_support"}}
]}.
 
{shell, [
    {apps, [second]}
]}.
 
 
{project_plugins, [
  {eqwalizer_rebar3,
    {git_subdir,
        "https://github.com/whatsapp/eqwalizer.git",
        {branch, "main"},
        "eqwalizer_rebar3"}}
]}.

• 使用命令

elp eqwalize-all

效果

添加一个类型check

-module(second_demo).
 
-export([demo/1]).
 
 
-spec demo(atom()) -> atom().
demo(name) ->
    name,
    ok.
调用

start(_StartType, _StartArgs) ->
    second_demo:demo("name"),
    second_sup:start_link().

效果

参考资料

https://github.com/WhatsApp/eqwalizer
https://rebar3.org/docs/configuration/plugins/#quickcheck
https://github.com/WhatsApp/eqwalizer/blob/main/FAQ.md