Без заголовка

в ЯП надо учить не языки а концепции, навыки оперирования с ними ну типа там переменные циклы ветвление объекты передачи сообщений наследования и проч хрени тогда пофиг на каком языке писать - просто синтаксис уточнил в гугле да и все дела есессно у ОО и у функ языков разные концепции чо уж там но вот у логиских и функ вполне близкие хотя конечно тоже есть разница но по моему дык если сумел освоить там С++ какой-нить то при желании функ язык или там пролог не проблема а вот глубины хаскел или coq - проблема, но там просто логику нужно учить уже хотя интуиционисткая логика на самом деле привязывается к функ языкам так что вобщем-то на том же Coq писать не так уж и сложно, если понимаешь что нужно просто написать функцию вычисляющую доказательство из имеющихся предпосылок на Хаскеле труднее прогить ИМХО, я имею в виду на идеоматическом хаскеле, а не просто четта там сваять