Na niezawodność systemów informatycznych składa się wiele elementów. Jednym z nich jest sam język programowania, który poprzez swoją architekturę i możliwości bardzo ułatwia tworzenie takich systemów. Takimi językami są Erlang i jego młodszy brat Elixir. Niezmienność stanu, paradygmat funkcyjny i zaimplementowany model wielowątkowości to ich istotne cechy, które wpływają na dużą niezawodność stworzonych w nich programów.