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 sempre.
A variável a
não tem um tipo definido porque Elixir é uma linguagem de tipagem dinâmica. 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.
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 typingduck typing. 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.