[kartoshechka]

IMO, lack of support from strong typing leaves you with nothing but writing better code in general. Undoubtedly type checker prevents obviously/not that obviously invalid code, but if you can't catch it yourself, you're fucked :)

Although most elixir code I've worked with was written by guys coming from ruby/java, and they just couldn't resist abusing macros for emulating inheritance, or overusing macros per se, once you switch your mind and clean that shit up, elixir is more maintainable than golang, for example (working for go company now). It has more tools to manage complexity and boilerplate, while nearly all golang code is complex/boilerplate itself.