thanks to the lack of a type system in Erlang. Lack of a type system? What about Erlang's dynamic type system that can blow up in your face unexpectedly during

thanks to the lack of a type system in Erlang. Lack of a type system? What about Erlang's dynamic type system that can blow up in your face unexpectedly during execution? I hate this stupid misnomer. Dynamically typed languages have HUGE type systems that provide lots of critical guarantees. You still get type safety and memory safety. You can still do non-conservative GC. You can still be certain that you're not going to misinterpret integer data as a string. It's weakly typed assembly languages, like C, that are the best candidates for being accused of having a lack of type system.