View Source Typespecs reference Elixir comes with a notation for declaring types and specifications. This document is a reference into their uses and syntax. Elixir is a dynamically typed language, and as such, type specifications are never used by the compiler to optimize or modify code. Still, using type specifications is useful because: they provide documentation (for example, tools such as ExD