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

BZ>если бы вторым был пролог — это бы сказалось я к тому, что сейчас вузы т у нас, и за рубежом учат людей шравным образом императивным языкам

В моем вузе Пролог был. А то что императивным языкам учат не на программистских специальностях, так это нормально. Ненормально то, что большая часть современных программистов не имеет профильного образования.

BZ>, и потому-то они и считают это естественным. имхо, функциональный подход даже более естественен, особенно если идти от чистой математики

Нет, функциональный подход не естественен, потому что идея неизменяемого мира не может быть естественной. Понимаешь, лет несколько назад я наверное думал так же. А сейчас понимаю — не попадись мне тогда бейски, я скорее всего так и не стал бы программистом. Понять тогда ФП мне было просто без шансов, для меня ООП тогда был крайне сложной штукой.

BZ>а когда человек изучит десяток императивных языков, ему в функциональные врубиться уже совсем тяжело

Это тоже заблуждение. Функциональность вобще слабо коррелирует с императивным программированием, но при этом неплохо комбинируется с ним. Более того, мне вобще не нравится рассматривать ФП как некий монолит. На самом деле в ФП есть несколько идей, и многие из них (immutable структуры, лямбды, pattern matching etc) вполне применимы и в императивном программировании. Я тебе даже больше скажу — огромное количество современных мейнстрим-программистов знает минимум один функциональный язык — SQL. Да, он конечно весьма ограничен, но тем не менее. А есть еще XSLT, который не любят, но продолжают жрать кактус. Беда ФП не в страшном и ужасном образовании, которое навязывает императивщину, а в том, что многие функциональщики упорно тащат свою тележку в сторону элитарности.
Вот для чего действительно требуется ломка сознания, так это для языков вроде Пролог. И для ООП (если начинать со структурного программирования) кстати тоже.

BZ>, и возникает у него ощущение "а они почему строем не ходят?"

Правильное, между прочим, ощущение. Бо действительно не все хорошо в функциональном королевстве. Вот, к примеру, LInQ большинством программистов воспринимается на ура. Так может проблема не во внешнем мире, а внутри? Промышленный язык должен разрабатываться именно как промышленный язык, и никак иначе, вне зависимости от того, какую парадигму он проповедует.