Das Typsystem von Elixir 1.20 analysiert jedes Sprachkonstrukt, erkennt fehlerhafte Argumente und verfolgt sie auch.

Eine Funktion erwartet eine Zahl, aber irgendwo im Projekt wird stattdessen eine Zeichenkette übergeben. Der Compiler sagt nichts, die Tests decken den Fall nicht ab, und der Fehler tritt erst auf, ...

Die Software kann aber auch für das Erstellen von Anwendungen für das Web sowie Cloud-Dienste genutzt werden und unterstützt hierbei ASP.NET, Node.js, Python, JavaScript und Web-Frameworks wie ...