Без заголовка
Опять же, "прогить" или "сваять" -- это разные уровни владения языком. Сказать hello world на любом языке можно за сутки. Трудности дальше, часто на много лет.
согласен
просто глубины языка не так уж и нужны, по крайней мере, для программерской работы
ибо большинство пользует простые базовые вещи
ну и овладевание глубинами конечно полезно но может быть и вредно - могут быть конфликты с коллегами, типа слишком (за)умный код ваяешь
да и с собой - призадумаешься как поэлегантнее проблему решить, вместо того чтобы просто тупо сделать
все же программерство состоит в оперировании концепциями типа там циклов и проч хрени
а язык - просто запись, более или менее удобная/компактная
ну Хаскел - да, это скорее поэзия или создание элегантных математических теорий, типа вот нужно выдать прекрасное и все тут. иначе это не хаскел, а какая-то хрень :)
а Coq - прошибание головой стенок :) просто тупо бьешься головой об стенку, пока она не сломается
интересный язык Скала - на нем можно писать на любом уровне понимания
ну типа знаешь жабу - пишешь как на жабе
знаешь функ подход - юзаешь функ подход
разумеешь всякие тонкости систем типов - юзаешь их
сейчас еще макросы появились - тоже отдельный слой навыков