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 este valor.
Na verdade Elixir define isto 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 typing. Que bom, respeito isto.
Na verdade não gosto do termo. Parece que ninguém sabe o que isto 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 isto 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 isto de acordo com a maioria das definições.