a lot of extremely popular languages aren't.

You probably meant "static" or "strong", not "strictly".

Regardless, both are still not right, since Elixir is getting a gradually-typed set-theoretic type system. It's been in the works for a few years now.