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

Es ist schwierig. Die erste Sprache, mit der ich in Kontakt kam, war BASIC. Da gab es noch seitenweise Skripte in Zeitschriften zum Abtippen... und die Frage: Warum geht da nichts? Danach kam Turbo ...