correspondência padrão - implementação

Estou imaginando como a correspondência de padrões geralmente é implementada. por exemplo, em Erlang, você acha que isso foi implementado no nível do código de bytes (existe um bytecode para que seja feito com eficiência) ou é gerado como uma série de instruções (série de bytecodes) pelo compilador? é uma coisa tão útil que eu só tenho que colocá-lo em uma linguagem de brinquedo. Estou construindo muito obrigado

(os links são mais do que bem-vindos)

questionAnswers(4)

yourAnswerToTheQuestion