Я, конечно, извиняюсь за вырванность из контекста, но, насколько я понимаю, это имеет отношение только к инструментам типа dialyzer, а не к Эрлангу как языку, и то только на сложных выражениях типа кучи навороченных if и раздутых монструозных модулей (что и так есть bad practice). А отсутствие нормальных типов еще ни один мейнстримный язык не привело к Песцу, скорее наоборот, к бессмысленному и беспощадному успеху.