Здравствуйте, VladD2, Вы писали:

VD>Так получается бессмыслица. Конструкция x : tailA означает образец не пустого списка где первый элемент помещается в локальную переменную x типа строка, а хвост списка в переменную tailA. Строка при этом представляется в виде однонаправленного связанного списка.
Я надеялся, что одна переменная связывается только с одним значением, так что (x:y, x:z) матчит строки с одинаковой головой и произвольными хвостами.