Java. Разбираемся с монадами.

В этом видео я объясняю на примерах монады, и какая польза от них для Java разработчика. Разбираем что такое монады, как они устроены и для чего применяются. Упор делается на практическую сторону вопроса.
Исходные коды:
github.com/Arh...
Поддержать канал на Boosty:
boosty.to/arhi...
Наш чатик в Telegram:
t.me/ArhiTutor...
#arhitutorialsjava #ityoutubersru

[@ZamalSpace]

Спасибо за отличное объеснение! Хотелось бы еще больше видео на эту тему

[@sd1-df]

Самое понятное объяснение монад, так держать!)

[@Skaiiur]

Отличный контент! Спасибо! Повседневно использую Optional, но не думал о нём как о монаде.

[@Irina-cw4lw]

Офигеть! Очень надеюсь дойти до такого уровня, чтобы писать подобные штуки. Спасибо огромное!

[@RenderDragon]

Очень интересно, как вам идея сделать видео про асинхронное программирование в Java?

[@arhitutorials]

Давно собираюсь, но все не могу придумать подходящий пример, на котором можно все доходчиво показать.

[@liamfreezo6680]

@@arhitutorials так придумывать может не нужно, просто взять пример готовый и разобрать :)

[@alftrd]

Проще говоря монады - это шаблон проектирования, когда есть обёртка для значений, функция оборачивания, и функция маппинга обёрнутых значений(flatMap в данном случае). Всё остальное это нюансы применения. Стримы, флаксы, опшиналы применяют этот шаблон - поэтому название у всех на слуху. Сложность обычно вызывает потому что всё сразу сваливают в одну кашу 🙂

[@olegshirko5456]

Спасибо! Норм объяснил, многое стало на место. Снимай исчо!

[@1SkyMan11]

дай тебе бог здоровья

[@ВладиНайз]

Очень круто , спасибо

[@Николай-х3б4ф]

Вау, спасибо. Прям на пальцах все разложено. Эх, хотелось бы погрузиться в теорию, но куча отговорок мешает)

[@simplename2787]

Спасибо за полезный урок! Для переименования нескольких переменных попробуй shift + F6

[@AndreyDelay]

Спасибо за видео 🙌🏻

[@valeriyemelyanov9090]

Спасибо!!!

[@darkyver2708]

Такой вопрос. Не совсем понятен смысл именно метода flatMap. Почему нельзя просто в методе map создать и вернуть новую монаду без дополнительного шага с созданием функции которая создаст монаду во flatMap? конкретнее, на 5:00 в 27 строке заменить return flatMap(val -> new Monad(mapFunc.apply(val))); на return new Monad(mapFunc.apply(value));

[@anatoliymartsenyuk861]

Если попытаться заинлайнить реализацию flatMap() в метод map(), то идея сначала создаёт такую конструкцию: return ((Function) val -> new Monad(mapFunc.apply(val))).apply(value); и тут же предлагает упростить до: return new Monad(mapFunc.apply(value)); т.е. эффективно это одно и то же. Т.е. на вопрос "почему нельзя" ответ - "можно". И да, получается, что в варианте с вызовом flatMap() дополнительно создаётся промежуточная лямбда. А смысл flatMap, как я понимаю, в другом типе аргумента.

[@phil2964]

👍👍👍 спасибо

[@vital_63_]

После просмотра твоего видоса про генерацию шума хочется спросить: а эти облака на конечной заставке - настоящие? )

[@dzianishrip5139]

А если в Lazy я хочу также и Option, есть какое-то объединение монад? Т.е. пример не совсем практический.

[@kosbarable]

5:06 flatMap понятный метод, ясно что получает параметром Function и возвращает результат работы этой Function, но с методом map, который внутри себя вызывает flatMap появляется вопрос -- что в этом случае есть val на строке 27? откуда возьмётся эта переменная?

[@alexxxyzzz]

Здравствуйте. Строка 27 это реализация тела метода apply из строки 23. А в строке 23 в вызываемый метод передается поле value конкретного экземпляра.

[@EEEppt]

Вот теперь стало понятнее, что билдер и монада не одно и то же )

[@ЮрийКлименко-к3щ]

Я так понимаю это собственно то, на чем основан Stream API?

[@user-mt2if1ht8n]

17:21 содержимое flatMapSingle (contacts -> SalonsService.getApiImpl().getMeCustomer(getSessionKey()))/ andThen(Single.defer(() -> {...}))

[@Eduard.Kardashov]

монада с Optional похожа на Maybe из RxJava - и когда первый раз работаешь с Rx и код перестает работать, в том, смысле, что код запустился и ничего не произошло - это выносит мозг

[@maksim33rus]

Хотел бы увидеть обзор на плагин Advanced Custom Fields

[@sergeyka347]

Только не пойму, в чем преимущество, в этом способе лейзи, перед тем если мы просто напишем саплайер?

[@sjavaoradev]

получается каждый раз когда мы вызваем map - мы возращаем новый инстанс Monad ?

[@arhitutorials]

Да.

[@sjavaoradev]

а это правильно ? @@arhitutorials

[@arhitutorials]

@@sjavaoradev ну конечно. В функциональном программировании, к которому относятся монады, вообще все переменные считаются иммутабельными. Поменять значение переменной нельзя, можно только создать новую.

[@sjavaoradev]

а, ок забыл что монад должен быть обязательно Immutable . Спасибо !@@arhitutorials

[@sergeyka347]

полезно. лайк

[@ДаниилМонахов-р8ч]

Кто, интересно, первый решил, что надо монадный метод называть flatMap? Flat это flattening, уплощение. Когда был список списков списков, а стал просто список. В Хаскеле есть понятие Functor, что, в общем, по сути, монада, и такая функция называется там называется fmap. 'F' от Functor, а не от flat. Здесь, подозреваю, кто-то что-то однажды неправильно услышал, понял, додумал, а теперь все повторяют.

[@qwerty-hc7od]

Спасибо за видео. Интересно было посмотреть, как можно сделать это в Java самому. Но... Монады - эндофункторы! А не "интерфункторы" )) Приставка "эндо" как раз и говорит о направленности внутрь себя.

[@andreymanankov7423]

Анекдот чуть более закрученный на самом деле Летят Холмс с Ватсоном на воздушном шаре. И спят в полете. Просыпаются над какой-то незнакомой землей, видят - внизу какой-то хрен коров пасет. Хотят узнать куда они прилетели. Снизились они и спрашивают мужика: - Скажите, сэр, где мы находимся? - На воздушном шаре. - Спасибо, сэр! - и летят вверх. Холмс задумчиво говорит: - Ватсон, мы в Росиии! - Холмс, а с чего вы взяли, что мы в России? - Это элементарно! Во-первых, он долго думал над ответом. Во-вторых, его ответ был абсолютно точен. И в третьих - абсолютно бесполезен! Значит это был програмист. А только в России программист может работать пастухом.

[@Libra7by]

Что только джависты не придумают, что бы Котлином не пользоваться! :)

[@edwardfreedom]

так котлин на джаве написан, смысл этой прослойки?

[@АлексейА-ц5м]

😂😂😂😂

[@Libra7by]

@@edwardfreedom Залет на собесе за такой ответ, Николай.

[@dddsss12345]

@@edwardfreedom а java на С написан.

[@edwardfreedom]

@@dddsss12345 а с на асэмблере

[@Ann_Askerova]

100 лайков этому джентльмену

[@DHARMA252]

Услышал про монады сразу подумал про Haskell.

[@dmaberlin]

чат в тг не находит

[@arhitutorials]

@@dmaberlin t.me/+TH9AoBq_ct6RYZgz

[@mksmsmirnov]

"Моноид в категории интерфункторов" - сделайте видео с более глубоким погружением в математику, пожалуйста. Это теория полей? Какие книги по математике для программиста Вы бы посоветовали? Практичные книги по математике для программистов, непрактичные и понятные, непрактичные и интересные с уклоном в математику? Спасибо за урок!

[@BigIdler]

Теория категорий в математике

[@eternalgreed6715]

А как поглубже и пофундаментальнее изучить монады?

[@eternalgreed6715]

Интересно было бы послушать более научное объяснение. И ещё вопрос у вас математическое образование?)

[@arhitutorials]

@@eternalgreed6715 Фундаментальнее - это надо в теорию категорий смотреть. Еще можно попробовать писать на Хаскеле, там без монад никуда, так как все иммутабельное. У меня около-математическое образование. Специальность - системы автоматики - это как раз на стыке техники, математики и программирования. По этому я из тех, кто знает всего понемногу)

[@eternalgreed6715]

@@arhitutorials круто, спасибо большое. А какой вуз ?

[@arhitutorials]

Сейчас этот вуз называется СевГУ

[@caffeinejavacode1475]

Как углубиться в функциональщину, чтоб лучше понмать написаные вами функции flatmap и map? У меня больше аналитическое мышление чем абстрактное

[@ЮрійАндрашко-у8я]

Гораздо больше напоминает не билддера а цепочку (chain of responsibility)

[@kartushinav]

скорее декоратор

[@СергейЮшкевич-в5ь]

Cпасибо за хорошую ,легкую подачу. Хочется про JavaFx(еще актуальна?) и lambok maven(gradle)

[@БогданЗараник]

Не ленюсь даже комментарий оставить.

[@mitruslatovous6]

Константы именуются в стиле CONSTANT_CASE. За все остальное - спасибо! )

[@KyivanEnjoyer]

так Optional это и есть Monad? зачем создавать отдельный?