Você está atribuindo uma lista com 3 valores para uma lista com elementos, dois deles são valores, portanto não faz sentido o seu uso assim. O único elemento que serve a algum propósito é a variável `a`. Então 10 será atribuído para `a` e poderá usar esta variável depois com esse valor.

Na verdade Elixir define isso como [*pattern matching*][1] sempre.

A variável `a` não tem um tipo definido porque Elixir é uma linguagem de [tipagem dinâmica][2]. O valor que ela guarda é que tem tipo. Este tipo é definido de acordo com a sintaxe usada, portanto é inferida pela sua estrutura.

Veja [mais sobre tipagem][3].

Então o segundo elemento da lista à esquerda é uma variável que guardará o valor que está no segundo elemento da lista à direita. O seu tipo é um inteiro inferido pela forma como ele está estruturado (escrito).

Elixir não diz que implementa [*duck typing*][4]. Que bom, respeito isso.

Na verdade não gosto do termo. Parece que ninguém sabe o que isso quer dizer de fato e cada um tem sua versão, a maioria delas não acrescenta nada ao que já existe e não indicam que isso tem a ver com sistema de tipagem. Então é melhor esquecer esse termo, que é engraçadinho, mas não serve para nada em termos de engenharia.

De qualquer forma nada indica estar usando isso de acordo com a maioria das definições.


  [1]: https://pt.stackoverflow.com/q/445451/101
  [2]: https://pt.stackoverflow.com/q/21508/101
  [3]: https://pt.stackoverflow.com/q/190463/101
  [4]: https://pt.stackoverflow.com/q/574146/101