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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1586 membersпожаловаться на группу
2021 July 12

DB

Danil Berestov in Haskell
нет
источник
19:49пожаловаться#1

к

кана in Haskell
там ничего полезного
источник
19:49пожаловаться#2

к

кана in Haskell
про StateT
источник
19:49пожаловаться#3

к

кана in Haskell
задача же не стейт сделать
источник
19:49пожаловаться#4

к

кана in Haskell
а StateT
источник
19:49пожаловаться#5

KV

Kirill Valyavin in Haskell
Кто поставил эту задачу?
источник
19:49пожаловаться#6

к

кана in Haskell
я
источник
19:49пожаловаться#7

к

кана in Haskell
ты же на мой пример отвечаешь
источник
19:49пожаловаться#8

DB

Danil Berestov in Haskell
кажется что нет
источник
19:49пожаловаться#9

KV

Kirill Valyavin in Haskell
Нет
источник
19:49пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
потому что хочется любую IO-совместимую монаду как "более правильную абстракцию".

только что-то мне подсказывает, что между конкретно IO и "любой IO-совместимой монадой" существенной разницы нет
источник
19:49пожаловаться#11

к

кана in Haskell
тогда не ясно откуда ты стейт придумал, потому что стейт в качестве примера ввел в контекст я
источник
19:50пожаловаться#12

K

Kir in Haskell
да там и так execStateT ожидается, с точностью до coerce
источник
19:51пожаловаться#13

к

кана in Haskell
где там
источник
19:51пожаловаться#14

DB

Danil Berestov in Haskell
ну кажется что не совсем
источник
19:52пожаловаться#15

K

Kir in Haskell
Event -> world -> IO world принимается этим play
источник
19:52пожаловаться#16

к

кана in Haskell
а что такое IO-совместимая монада?
источник
19:52пожаловаться#17

к

кана in Haskell
пару из (f a -> IO a, IO a -> f a) можно назвать пруфом совместимости наверное, и такое можно использовать вместо IO

но самого MonadIO недостаточно
источник
19:53пожаловаться#18

K

Kir in Haskell
MonadUnliftIO, я думаю
источник
19:53пожаловаться#19

JS

Jerzy Syrowiecki in Haskell
которую можно использовать вместо IO. или конвертировать в IO и обратно. или MonadIO + MonadUnliftIO. или MonadBaseControlчтототам
источник
19:53пожаловаться#20