Чтобы ответить на этот вопрос, сопоставление с образцом строится эффективным способом из более примитивных операций. Вот часть кода из функционального предложения, соответствующего {X, [H | T]}.
нтересно, как обычно осуществляется сопоставление с образцом. например, в Erlang вы думаете, что он реализован на уровне байт-кода (есть байт-код для его эффективного выполнения) или он генерируется компилятором как серия инструкций (ряд байт-кодов)? это настолько полезная вещь, что я просто должен поместить это в игрушечный язык, который я строю, большое спасибо
(ссылки более чем приветствуются)