Erlang 二郎类型学

Erlang支持强类型还是弱类型？ 根据，看起来Erlang同时具有强类型和弱类型。

---

我的理解正确吗？

Erlang和Python一样具有强大的动态类型。

请注意，对于“强类型”的含义没有单一的正式定义。wikipedia的文章非常糟糕，尤其是他们展示的示例。您可以进行自动类型转换，但仍然可以使用强类型语言。弱类型更多的是关于在C中可以做的事情，例如将整数转换为指针，将结构a指针视为结构b指针，等等@RichardC是否有关于Erlang类型系统的文档？