Actually I have. Both Elixir and Erlang. I find it way harder to manage in dynamic langs than in static ones. Up to point I'd always pick static instead of dynamic.

If I see some OOP madness, in statically typed lang, I remember how bad it can be in dynamic one.

Dont take it the wrong way. I know a lot of programmers, personally, which are dynamic programming fans, are and kickass coders. But it doesn't work for me.