Хаскель
gatoazul — 22.12.2024 В общем, почитал я разные книги на этот счет и поглядел примеры программ. И знаете-таки, что я вам за это скажу? Что как только мы отходим от примеров на арифметику Пеано и применение теории категорий с выводом зависимых типов и приближаемся к таким банальным вещам, как GUI и веб-сервера, не говоря уже об играх, так программы становятся все длиннее, скучнее и подозрительно похожими на императивные.Поэтому я для себя вывод сделал. Если вы парите в математических абстракциях, Хаскель - то, что вам нужно. А если сидите на земле, где есть тормозящие пользователи, пишущие всякую чушь, латентность сети, отключения света и стыковка с соседними системами, хозяева которых не идут на контакт, то Хаскель - это как раз последнее, что вам требуется. В этих бытовых вопросах он ничем не поможет, а вот геморроя вполне добавит - от решения через функторно-монадный анус банальнейших проблем, над которыми даже школьник с Бейском не задумается, до внезапных задержек и вылетаний по нехватке памяти, потому что ленивая модель нахваталась незаконченных вычислений.
Что же касается хайпа насчет того, что от Хаскеля у меня откроются глаза, и что это новая серебряная пуля, которая сделает волосы шелковистее на 20% и позволит с легкостью решить проблему останова, то я уже давно не трехдневный котенок, а старый и облезлый от помойной жизни кот с надорванным ухом, который еще помнит аналогичный хайп 90-х о магических возможностях ООП и о том, как его насаждали всюду, словно картошку на Руси. Тьфу, тридцать лет прошло, а до сих пор тошнит от воспоминаний. Потом был UML (кто-то его еще помнит?), дальше мода на XML, поcле этого всемогущие паттерны, на деле оказавшиеся сборником костылей для плохо сделанных языков - а дальше не знаю что, потому что я к тому времени перестал читать рекламу и смотреть тель-а-визор.
Ничего не имею против Лиспа - он как латынь, на нем можно не писать, но интересоваться стоит, потому что именно там придумали много чего интересного. Внедрение разных полезных функциональных штучек в мейнстримные языки - отлично! Но функциональное программирование в современном прочтении - это какое-то балаганное уродство. Как эксперимент - любопытно, авось чего и выйдет. Как практическое использование - ну его на фиг.
|
</> |