αρχείο Email: Πολυμορφικός συμπερασμός τύπων επιτυχίας στη γλώσσα Erlang