> -- Geniepro писал(а):
> Палиндромы демонстрируют единственное серьёзное отличие (и в каких-то задачах, возможно, преимущество) рефала от хаскелла -- списки, которые можно собирать/разбирать как слева направо, так и справа налево. В хаскелле для этого можно привлечь специальные функции, структуры данных, но родным для хаскелла такой подход не является.
Мне показалось, что не только "справа", но и из середины....
Т.е., наличие свободной переменной(ных) в шаблоне - это как бы скрытая рекурсия. Она вроде бы и не нарисована, но она есть. Особенно, если есть возвраты "с неуспехом" в последующей тропе...
Это дело, конечно же, осложняет реализации патерн-матчинга...
Но, если исходить из принципа: "я нарисовал ЧТО я хочу, а КАК - это уже дело конструкторей" - почему бы и нет
Тут уж без суперкомпиляции - затруднительно может оказаться.

Вообще, мне кажется, явно просматривается принцип сохранения сложности. Проще изложить свои мысли - сложнее реализации
Вот и суперкомпиляции проклевываться начинают с функциональных парадигм... Как бы ну очень эффективных в постановке задачи, но с большими проблемами в реализациях...