Also something to keep in mind : so far noone has found a way to properly typed in a strong static formally proving way the erlang and elixir paradigm. Over oth

Also something to keep in mind : so far noone has found a way to properly typed in a strong static formally proving way the erlang and elixir paradigm. Over other things, the self() construct that return the own pid of a process is so far impossible to type well.