Erlang. They recently open sourced an Erlang type checker https://github.com/WhatsApp/eqwalizer and tree-sitter grammar https://github.com/WhatsApp/tree-sitter-erlang.