в соседней теме при попытке помочь товарищу наткнулся на пробелему: не смог описать список неограниченной глубины вложенности без использования функторов(как требовалось). Единственное, что попробовал, это:

на что(вполне ожидаемо) услышал мат компилятора. Какой же выход? И есть ли он, этот выход?

Только что пытался пошаманить с твоим примером... Долго запаривался, и наконец понял:
Рекурсия в списке... Неограниченная. Вот интерпретатор и ругается, так как явно вызывать из списка список без использования функторов нельзя

Добавлено @ 16:44 
И я думаю, что выхода без функторного вообще здесь нет. 

Guedda, в таком варианте указанная задача товарища не может быть решена на уровне предикатов, если они требуют указания типов аргументов(а у меня компилятор требует ). Хм...

А что тут плохого?  список же будет обладать конечной рекурсией, это домен обеспечивает обработку любой глубины... А реальные данные - это реальные данные  
И синтаксическую обработку вполне представляю: только, как и в рекурсивных предикатах, нерекурсивные варианты должны стоять впереди - тогда на реальных данных рано или поздно вышли бы из рекурсии при синтаксическом анализе 

Пора менять компилятор