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 ein String übergeben. Der Compiler sagt nichts, ...

den Wunsch des Curators einmal hier ein Programm ge- sehrieben, sich berechtigt glaubte, mir nun wieder jährlich Behrere Programme und dergleichen aufeubürden, so glaubte ich, die ganze Marburger ...

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, ...