I’ve worked on some pretty large codebases and while there’s usually no IDE button for it, there are good and well known patterns for refactoring dynamic code.

I’ve worked on some pretty large codebases and while there’s usually no IDE button for it, there are good and well known patterns for refactoring dynamic code. As for bugs, the research on this has always been mixed at best, I guess YMMV. I’d personally argue that the structural typing in Elixir is more useful and practical than the types in most popular static languages like Java or TS. Mostly I think it’s a wash where you get a little but give up some useful things too.