Остальное уже не взлетит

lex_kravetski — 16.05.2025 Чем больше смотрю на то, как пишутся «чисто функциональные» программы по-настоящему, тем больше укрепляюсь во мнении, которое у меня уже было давно, но как бы заочно — по краткому знакомству с настоящей «функциональной чистотой». Практически всё клёвое, что в этом подходе было, уже было перенесено в «не чистые» языки. А оставшегося избегают совсем даже не зря.

Дело в том, что эта, оставшаяся часть — про то, как писать длиннее и сильно более запутанно. Так, чтобы интуиция, если и работала, то прямо впритык, а обычно не работала вообще. После того, конечно, как ты ещё это долго постигал — без постижения ты тут не напишешь вообще ничего. В отличие от других современных языков, где вполне реально что-то запрогать даже без мануала.

И вот это вот «гораздо сложнее, длиннее и запутаннее» по версии ценителей функциональных языков каким-то образом должно упростить написание программ и уменьшить количество ошибок. Чудом, не иначе.

Если что, это всё не относится к формализации доказательств теорем и к тем клёвым штукам, которые сейчас уже вставлены во все языки, а раньше были только кое-где. Это всё, да, клёвое. Но это клёвое оттуда уже вычерпали до дна. Оставшееся — это примерно такая же несработавшая гипотеза, некоторое время казавшаяся клёвой, как команда goto или конструкция try-catch.

Оставить комментарий

Популярные посты:

• Ранее
• Архив