<![CDATA[Комментарии / Профиль apache2]]> https://habr.com/ru/users/apache2/comments/ ru editor@habr.com habr.com Sun, 03 May 2026 14:45:53 GMT https://habr.com/ru/ https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png Хабр 10.01.2022 14:38:18 https://habr.com/ru/articles/599943/#comment_23922687 https://habr.com/ru/articles/599943/#comment_23922687 Может это просто плохая идея если уже в 1000 раз повторяете а они все не могут вашу молитву выучить?

]]> Mon, 10 Jan 2022 14:38:18 GMT 16.11.2021 12:46:23 https://habr.com/ru/companies/typeable/articles/589257/#comment_23711611 https://habr.com/ru/companies/typeable/articles/589257/#comment_23711611 Скорее без побочных еффектов, только вычисление какого-то значение без мутаций

]]> Tue, 16 Nov 2021 12:46:23 GMT 16.11.2021 12:39:50 https://habr.com/ru/companies/typeable/articles/589257/#comment_23711577 https://habr.com/ru/companies/typeable/articles/589257/#comment_23711577 Вы сами очень хорошо описали суть функционального и императивного программирования, я использую такое же интуитивное представление об этих стилях при разработке. Вы также правильно заметили что на практике применение ФП слабо напоминает выражения λ-исчисления. Главная причина в необходимости функциональной программы как-то взаимодействовать с окружением (устройствами ввода/ввывода, сетью, базой данных) которые требуют исполнения императивных команд в программе, поэтому в реальных программах присутствуют оба эти стиля (причем в типичном веб-сервере написанном на Haskell императивный код может занимать значительную часть). Большое количество императивного кода все-же не считается хорошим признаком, общепринятое мнение в ФП-коммьюнити то что чистый функциональный код имеет множество преимуществ поэтому более предпочтителен и необходимо иметь абсолютный минимум императивного кода.

Еще одна возможная причина почему реальные функциональные программы не похожи на выражения λ-исчисления, потомучто λ-исчисление — очень плохой язык программирования, он имеет минимум конструкций что удобно для индуктивных доказательств каких-нибудь свойств но в реальной программе хорошо иметь язык с синтаксическим сахаром, конструкциями вроде (let, where, case и т.д.) чтобы иметь шанс прочитать и понять программу написанную другими программистами.

]]> Tue, 16 Nov 2021 12:39:50 GMT 15.11.2021 16:34:09 https://habr.com/ru/companies/typeable/articles/589257/#comment_23708799 https://habr.com/ru/companies/typeable/articles/589257/#comment_23708799 Да, согласен рекурсию можно было включить в этот список. То что функции могут вызывать сами себя все давно уже воспринимают как данность, поэтому о ней не подумали при написании.

]]> Mon, 15 Nov 2021 16:34:09 GMT 11.10.2019 06:42:48 https://habr.com/ru/articles/471026/#comment_20741474 https://habr.com/ru/articles/471026/#comment_20741474 О, круть будем ждать релиза, в ФП кстаки есть функция которая выполняет роль NeverError называется absurd: <A>(x: never) => A. Вот мой вариант этого ts хелпера

]]> Fri, 11 Oct 2019 06:42:48 GMT