Здравствуйте, thesz, Вы писали: T>Потому, что Лисп не даёт практики структурирования решений в определённых логиках.
Было бы интересно послушать этот тезис в развернутом виде. Пока для меня очевидно только то, что лисп не дает практики реализации решений на чистых ленивых строго типизированных ФЯ (что, надо признаться, в некотором роде недостаток, если будущее программирования действительно за зависимыми типами и подобной магией).