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

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

Всё очень просто.

Скажи, какая логика находится в основании лиспа. Можно ли в ней выразить противоречие каким-либо образом?

MC>Пока для меня очевидно только то, что лисп не дает практики реализации решений на чистых ленивых строго типизированных ФЯ (что, надо признаться, в некотором роде недостаток, если будущее программирования действительно за зависимыми типами и подобной магией).