Телеграмм чат группы scala_ru страница 12691

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Scala User Group

2022 membersпожаловаться на группу

2020 July 23

λ

λoλzod in Scala User Group

еще один пример (плохой пример, но хороший для сравнения с List):

тип : Future[User]
unit : Future{ service.syncGetUser() }
join : Future(id).flatMap(id => service.syncGetUser(id)) (очень натянутый пример уплощения)

Всё что имеет эти три элемента можно засунуть в for() .

источник

21:34пожаловаться #1

GD

Gleb Donets in Scala User Group

О, и еще момент: flatMap определяется же набором правил, которым эта функция должна следовать?

источник

21:38пожаловаться #2

GD

Gleb Donets in Scala User Group

Бо очень много о ней пишут и очень много обращают внимание, хотя то, что она _должна_ делать довольно очевидно

источник

21:39пожаловаться #3

GD

Gleb Donets in Scala User Group

Я не знаю, может, конечно, это мне после LINQ в дотнете это очевидным кажется, но все же

источник

21:40пожаловаться #4

GD

Gleb Donets in Scala User Group

Или я чего упускаю

источник

21:40пожаловаться #5

λ

λoλzod in Scala User Group

да, но на самом деле есть одна неочевидность, как видно монады могут иметь очень разную природу
в случае с Future моделируется последовательные асинхронные вычисления а в случае с List моделируется неопределённость значения (у вас не одно значение а целый список).
и это очень разные по природе монады, и flatMap у них делает совершенно разные вещи

источник

21:41пожаловаться #6

GD

Gleb Donets in Scala User Group

грубо монада это такая структура, состоящая из тройки

типа монады: F
unit: A => F[A]
join: F[F[A]] => F[A]

где unit позволяет создать монаду, а join избавиться от вложенности

пример монады:

тип : List
unit : List(1)
join: List::flatten

Сохраню-ка я себе это на всякий случай

источник

21:41пожаловаться #7

AD

Apache DOG™ in Scala User Group

Сохраню-ка я себе это на всякий случай

Да это написано на каждом ФП-заборе

источник

21:42пожаловаться #8

AD

Apache DOG™ in Scala User Group

Статей что такое монады больше чем всех остальных

источник

21:42пожаловаться #9

λ

λoλzod in Scala User Group

их объединяет только общая структура (вышеописанная)

источник

21:42пожаловаться #10

GD

Gleb Donets in Scala User Group

да, но на самом деле есть одна неочевидность, как видно монады могут иметь очень разную природу
в случае с Future моделируется последовательные асинхронные вычисления а в случае с List моделируется неопределённость значения (у вас не одно значение а целый список).
и это очень разные по природе монады, и flatMap у них делает совершенно разные вещи

ну, в деталях - да, в общем - нет

источник

21:42пожаловаться #11

λ

λoλzod in Scala User Group

(ну и мелким шрифтом надо написать что Future не монада в математическом смысле, так как не выполняются определённые требования)

источник

21:43пожаловаться #12

GD

Gleb Donets in Scala User Group

Статей что такое монады больше чем всех остальных

Так-то да, но чем больше - тем лучше. Некоторые вещи должны отложиться в голове и стать очевидными с практикой и временем, чтобы ты не тратил время на их переизобретение каждый раз, а ими думал

источник

21:44пожаловаться #13

GD

Gleb Donets in Scala User Group

(ну и мелким шрифтом надо написать что Future не монада в математическом смысле, так как не выполняются определённые требования)

Я не очень люблю думать о Future с точки зрения ФП, ибо под капотом там все то же родное ООП

источник

21:45пожаловаться #14

AD

Apache DOG™ in Scala User Group

Да всюду во всех монадках для конкарренси внутри грязный код

источник

21:46пожаловаться #15

YR

Yau Ref in Scala User Group

Тред как водится не читал, так что может не в тему, но вкину, что есть замечательный better-monadic-for нормальный работы со всякими IO, Тасками и имплиситами в for'е

источник

21:46пожаловаться #16

GD

Gleb Donets in Scala User Group

То, что на него натянули интерфейс, позволяющий это встроить в ФП - это хорошо, но я опасаюсь о нем думать без вспоминания о единице работы, тред пулле и всего такого

источник

21:47пожаловаться #17

GD

Gleb Donets in Scala User Group

И мерзопакостнейшего механизма ожидания, господи, как же отвратительно сделали, ну зачем же так, ну

источник

21:48пожаловаться #18

GD

Gleb Donets in Scala User Group

Ну это личный бугурт

источник

21:48пожаловаться #19

GD

Gleb Donets in Scala User Group

Да всюду во всех монадках для конкарренси внутри грязный код

Ну, ожидаемо. История примерно как с реляционными БД

источник

21:49пожаловаться #20