The Design Principles of the Elixir Type System

Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable ...