Contributions

Article
This post describes how loose the type specifications of GenServer callbacks are and how this almost bit a developer during refactoring. It proposes a set of tighter type specifications that developers could use when working with GenServer callbacks. It closes by pointing to Gleam and work done by the erlang team at WhatsApp that could make this situation better in the future.