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

Report do def user_age_to_string(user) do Integer.to_string(user.age) end end # An anderer Stelle im Projekt: Report.user_age_to_string(%{age: "42"}) Integer.to_string/1 is Elixir's usual notation for ...