[eonil]

How Elixir offer type check - compile time parameter validity check on each specialized types - or similar feature?

Is this type inferencing language?

[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.