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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1575 membersпожаловаться на группу
2021 May 07

IO

I O in Haskell
Или 

toTrans :: Applicative m => State s a -> StateT s m a
toTrans = mapStateT $ pure . runIdentity
источник
14:37пожаловаться#1

X

XÆA-XII in Haskell
Спасибо
источник
14:37пожаловаться#2

X

XÆA-XII in Haskell
Так даже интереснее, но непонятно, почему m - Аппликатив и откуда взялась Identity
источник
14:40пожаловаться#3

IO

I O in Haskell
State s a = StateT s Identity a
источник
14:41пожаловаться#4

IO

I O in Haskell
mapStateT :: (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b
источник
14:41пожаловаться#5

X

XÆA-XII in Haskell
Ещё долго после этого спать не буду
источник
14:42пожаловаться#6

[

[BRM]White Rabbit in Haskell
То чувство, когда в хаскеле всё объяснение работы функции заключается в переписывании сигнатуры
источник
15:13пожаловаться#7

X

XÆA-XII in Haskell
А, допёр
источник
15:14пожаловаться#8

[

[BRM]White Rabbit in Haskell
О, наконец
источник
15:14пожаловаться#9

K

Kir in Haskell
Да.
источник
15:14пожаловаться#10

X

XÆA-XII in Haskell
А разве не Monad m => ... ?
источник
15:14пожаловаться#11

[

[BRM]White Rabbit in Haskell
Меняет контекст стейта, получается
источник
15:15пожаловаться#12

[

[BRM]White Rabbit in Haskell
Ну, видимо, хватает и аппликатива
источник
15:15пожаловаться#13

K

Kir in Haskell
Да там только pure используется, а оно в аппликативе
источник
15:16пожаловаться#14

X

XÆA-XII in Haskell
Но почему не
toTrans :: Monad m => State s a -> StateT s m a
toTrans = mapStateT $ return . runIdentity
?
источник
15:24пожаловаться#15

K

Kir in Haskell
Чтобы монаду вовнутрь не тащить
источник
15:26пожаловаться#16

IO

I O in Haskell
А зачем просить Monad когда он на самом деле не нужен? Вряд ли, конечно, кто-то напишет StateT s m a где m не монада, но все равно
источник
15:26пожаловаться#17

K

Kir in Haskell
Не знаю, зачем
источник
15:26пожаловаться#18

K

Kir in Haskell
Я вот обычно стараюсь минимизировать контекст
источник
15:26пожаловаться#19

AP

Aleksei (astynax) Pi... in Haskell
return требует Monad
источник
15:26пожаловаться#20