Mailboxer: Static Detection of Erlang Communication Errors
summary
Mailboxer is a prototype static checker for Erlang that uses mailbox types (via the Pat backend) to find real communication bugs: it catches message tag typos, payload mismatches (string vs int), duplicate init messages, omitted replies that block clients, and some deadlocks. Code gets lightweight annotations called interfaces that isolate protocols so checks scale across multiple protocols. It runs on examples, integrates with Dialyzer-style tooling, and plans include tuples/lists support, pattern inference, gradual typing, and OTP compatibility.
AI-written summary · about