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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

441 membersпожаловаться на группу
2020 November 19

AP

Aleksei (astynax) Pi... in fprog_spb
Writer всего лишь даёт возможность вернуть вместе с результатом вычисления какую-то накопленную информацию.

Информация копится лениво. Программист об этом помнит.

Есть варианты Writer, которые могут копить энергично. Выбирается вариант под задачу. Всё как у всех
источник
11:52пожаловаться#1

K

Kakadu in fprog_spb
Я знаю, просто говорю, что можно сделать и по-другому
источник
11:53пожаловаться#2

AP

Aleksei (astynax) Pi... in fprog_spb
Можно.
источник
11:53пожаловаться#3

AP

Aleksei (astynax) Pi... in fprog_spb
Можно в IORef класть агрегат, например. Да, будет везде IO, но зато эффективно
источник
11:54пожаловаться#4

AP

Aleksei (astynax) Pi... in fprog_spb
И программисту нужно выбрать то, что ему подходит.
источник
11:54пожаловаться#5

K

Kir in fprog_spb
Ещё можно взять систему эффектов. Правда, пока delimited continuations не помержены, они будут неэффективны.
источник
11:55пожаловаться#6

AP

Aleksei (astynax) Pi... in fprog_spb
Я не перестаю удивляться тому, что люди такому — необходимости выбора — удивляются
источник
11:55пожаловаться#7

AP

Aleksei (astynax) Pi... in fprog_spb
Writer хорош тем, что он по построению может только писать, причём не заменой, а дописыванием. Это немаленькая такая гарантия.
источник
11:56пожаловаться#8

K

Kir in fprog_spb
Aleksei (astynax) Pirogov
Writer хорош тем, что он по построению может только писать, причём не заменой, а дописыванием. Это немаленькая такая гарантия.
А всякие listen?
источник
11:56пожаловаться#9

AP

Aleksei (astynax) Pi... in fprog_spb
Они явные
источник
11:57пожаловаться#10

AP

Aleksei (astynax) Pi... in fprog_spb
И нельзя зацензорить то, что было записано ранее. Можно только на подвычисления влиять
источник
11:57пожаловаться#11

AP

Aleksei (astynax) Pi... in fprog_spb
То же касается Reader — можно подменить окружение для вложенного кода, но нельзя оставить изменённым на выходе
источник
11:58пожаловаться#12

K

Kakadu in fprog_spb
Если что, я предлагал сделать буферизующийся writer так же, как у Окасаки splay trees сделаны
источник
11:58пожаловаться#13

K

Kakadu in fprog_spb
Это имеет какой-то смысл?
источник
11:58пожаловаться#14

K

Kir in fprog_spb
Технически, ContT ... ReaderT` может работать наподобие `StateT
источник
11:58пожаловаться#15

AP

Aleksei (astynax) Pi... in fprog_spb
Kakadu
Если что, я предлагал сделать буферизующийся writer так же, как у Окасаки splay trees сделаны
Это можно порешать самим моноидом при наличии энергичного Writer
источник
11:59пожаловаться#16

K

Kir in fprog_spb
Kakadu
Если что, я предлагал сделать буферизующийся writer так же, как у Окасаки splay trees сделаны
Нужен строгий Writer тогда
источник
11:59пожаловаться#17

K

Kakadu in fprog_spb
Да, может быть
источник
11:59пожаловаться#18

AP

Aleksei (astynax) Pi... in fprog_spb
Ну вот Writer на CPS подойдёт
источник
11:59пожаловаться#19

AP

Aleksei (astynax) Pi... in fprog_spb
Тут как с Text VS Text.Lazy. Если писать в них, можно получить разные характеристики. Искоробочный ленивый Writer плох только тем, что ленив даже с энергичным агрегатом. Хорошо, что теперь можно выбрать энергичный Writer и использовать с ленивым агрегатом :)
источник
12:03пожаловаться#20