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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1423 membersпожаловаться на группу
2020 May 06

AV

Alexander Vershilov in Haskell
В простых случаях:
1. дублируем
2. не взаимодействуют
3. не мержим
всё просто
источник
00:26пожаловаться#1

MP

Misha Puzanov in Haskell
Alexander Vershilov
В простых случаях:
1. дублируем
2. не взаимодействуют
3. не мержим
всё просто
да, оно самое
источник
00:27пожаловаться#2

AV

Alexander Vershilov in Haskell
Ну мне вот неочевидно, что то, что state внутри async и вне него разные
источник
00:27пожаловаться#3

MP

Misha Puzanov in Haskell
хм
источник
00:27пожаловаться#4

AV

Alexander Vershilov in Haskell
(если реализованы через StateT, а если через IORef внутри, то одинаковые)
источник
00:27пожаловаться#5

MP

Misha Puzanov in Haskell
StateT
источник
00:28пожаловаться#6

AV

Alexander Vershilov in Haskell
И там с исключениями ад
источник
00:28пожаловаться#7

AV

Alexander Vershilov in Haskell
А ещё весело если в ReaderT у тебя что-то, что зависит от треда
источник
00:28пожаловаться#8

AV

Alexander Vershilov in Haskell
Например ThreadId, или LocalProcess
источник
00:29пожаловаться#9

AV

Alexander Vershilov in Haskell
делаешь async и всё разваливается
источник
00:29пожаловаться#10

AV

Alexander Vershilov in Haskell
В общем так делать можно, но надо понимать, что async для монадки, которая не говорит как себя ведёт это не честно
источник
00:29пожаловаться#11

MP

Misha Puzanov in Haskell
Alexander Vershilov
А ещё весело если в ReaderT у тебя что-то, что зависит от треда
не, ну это уже совсем трэш, я так не делаю 🙂

сейчас я делаю руками
a :: (Either MyError a, MyState) <- async $ ((runStateT $ runExceptT $ runReaderT v env) mempty) f

и потом wrapAllBack $ wait a
источник
00:30пожаловаться#12

MP

Misha Puzanov in Haskell
ну и понимаю, что это как раз для Ulift/MonadBaseControl
источник
00:31пожаловаться#13

MP

Misha Puzanov in Haskell
Unlift бестолковый и умеет только ReaderT отклеивать/приклеивать, так что я играюсь в MonadBaseControl
источник
00:31пожаловаться#14

MP

Misha Puzanov in Haskell
но пока не уверен, что руками не будет лучше
источник
00:31пожаловаться#15

AV

Alexander Vershilov in Haskell
Пока Гранин не видит
источник
00:35пожаловаться#16

AV

Alexander Vershilov in Haskell
Смотри, тут очень-очень простая логика
источник
00:35пожаловаться#17

AV

Alexander Vershilov in Haskell
У тебя есть m a, ты хочешь qux :: (a -> IO b) -> .. IO .. превратить в` (a -> m b) -> .. m ..`
источник
00:36пожаловаться#18

MP

Misha Puzanov in Haskell
да
источник
00:36пожаловаться#19

AV

Alexander Vershilov in Haskell
Как это можно сделать? Тебе нужно взять и построить какое-то действие magic :: (m a -> IO a)
источник
00:36пожаловаться#20