You probably meant "static" or "strong", not "strictly". Regardless, both are still not right, since Elixir is getting a gradually-typed set-theoretic type sys

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.