There has been a lot of research and implementation work around gradual typing since erlang was initially conceived. Using a type-system as a linter (with a fe

There has been a lot of research and implementation work around gradual typing since erlang was initially conceived. Using a type-system as a linter (with a few escape hatches whenever dynamic behavior is needed and without any impact on runtime) is still a great step forward as opposed to no types at all.