[zhemao]

I suspect it's actually done at runtime. Erlang for instance is dynamically typed, but also has pattern matching. I suspect Elixir is similar.