Всем привет)

Есть вопрос. Объясните те, кто шарит за фп.  Если я правильно понимаю,  одна из опорных концепций фп в том, что большинство кода построено на чистых функциях , а   весь глобал стейт абстрагируется через монады и ты четко знаешь , как этот глобал стейт меняется.  Так вот вопрос, можно ли эмулировать это в ООП языках типо java или c#?  Противоечит ли ООП такой модели и как? Просто вроде в этом чате был разговор о том, что ООП и ФП не противоположны, а ортогональны.   Вспомнилось. Решил разобраться. Заранее извиняюсь, если спрашиваю что-то банальное, очевидное или надоевшее) Просто не могу для себя сделать нужные логические переходы.

Всем привет)

Есть вопрос. Объясните те, кто шарит за фп.  Если я правильно понимаю,  одна из опорных концепций фп в том, что большинство кода построено на чистых функциях , а   весь глобал стейт абстрагируется через монады и ты четко знаешь , как этот глобал стейт меняется.  Так вот вопрос, можно ли эмулировать это в ООП языках типо java или c#?  Противоечит ли ООП такой модели и как? Просто вроде в этом чате был разговор о том, что ООП и ФП не противоположны, а ортогональны.   Вспомнилось. Решил разобраться. Заранее извиняюсь, если спрашиваю что-то банальное, очевидное или надоевшее) Просто не могу для себя сделать нужные логические переходы.

Наилучший контрпример - библиотека Language.Ext для шарпа. Попробуйте на этом что-нибудь написать, вам очень не понравится. И студия от него вешается.

Это проблемы конкретно шарпа и дизайна Language.Ext, но не ООП.

Вон, у той же скалы все более чем нормально

Так то скала, а то шарпы. Взяли и сделали отдельную скалу, а не библиотеку для явы.

А монады, если я правильно понимаю, это костыль для того, чтобы гарантировать определенный порядок выполнения в ленивом языке

для чего нужно комбинировать значения?

Я только начинаю вливаться в фп, поэтому глупый наверное вопрос, но всё же, do нотации являются синтаксической абстракцией над комбинированием монад или это вообще про другое?

Да, это просто сахар. При желании можно всегда руками описать через >>=, >> и pure, что делается do нотацией

У ФП нужна ещё и эффективная реализация. Хаскель сделан на thunk'ах, а вот про километровые стектрейсы Scala всем известно, так же, как некоторая тормознутость Scala по сравнению с деревянным кодом на Яве.