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

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

Вообще-то такая фукциональность доступна в виде библиотек. Да и в коммерческих реализициях есть подобная фунциональность.

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

Я не утверждал, что Lisp лучше или хуже Нэмерле, но доступ к семантической информации в Lisp точно есть.