There are type inspection tools for JS - Webstorm has one and then there is the open source tern.js and facebook's flow. I imagine in erlang it's a bit easier t

There are type inspection tools for JS - Webstorm has one and then there is the open source tern.js and facebook's flow. I imagine in erlang it's a bit easier to infer types in erlang because it's immutable and because functions don't just take whatever amount of arguments (like in JS). I'd say erlang is not as dynamic as JS. The research around erlang is due to the fact that it's heavily backed by Ericsson and the university in Uppsala (it's common for Uppsala master theses to be erlang-related). The other languages have more "neutral" origins.