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

_>Проблема решается тем, что можно достаточно просто и без компилятора проанализировать код. Предопрделенных конструкций(т н специальных форм мало — порядка 25) — остальное функции и макросы.
_>То есть сбор необходимой информации можно сделать самостоятельно.

Это не решение проблемы. Это взваливание на себя очень не простой работы. Не надо забывать, что Нэмерел выводит типы, а Лисп с трудом понимает, что это такое. Ты повесишся пытаясь достичь в Лист то, что практически бесплатно есть в Нэмерл.

Да, и зачем нужен Лисп если Нэмерл превосходит его по куче параметров? Ради доказательства? Зачем мне самого себя убеждать в чем-то? Что я не получу в Нэмерле, но получу в Лиспе?