Static vs dynamic types are whatever. Weak typing is what causes all sorts of issues. With dynamic strong types, you can still have a tool like dialyzer figur

Static vs dynamic types are whatever. Weak typing is what causes all sorts of issues. With dynamic strong types, you can still have a tool like dialyzer figure out potential type issues before shipping, but weak typing means anything goes.