MVar (IORef a) - вот так же норм для случая когда мне нужно ждать пока значение на поступит, ну а потом оно будет только обновлятся но никогда не исчезнет?

и второй вопрос: что шустрее - readTVarIO или readIORef

можно попросить at тебя в сокет пнуть

at это что?

Пасиб.

at это что?

unix утилита

и второй вопрос: что шустрее - readTVarIO или readIORef

Стм какой - то минимальный оверхэд добавит же?

а там у readTVarIO особенный случай

вообще без контеншена я думаю без разницы. IORef тоже спинлок не схватит

https://codeburst.io/the-haskell-concurrency-primitive-shootout-538c21993f1c есть, но не совсем прям свежак :)

так-что TVar даж и быстрей судя по этим бенчам

страннота

правда там бенч на модификацию, так что другой юзкейс :-\

а как бы hasql с логгером подружить?

Пасиб.

чтобы закончить пример с expr: data E = I Int | B Bool | Sum E E | And E E -- we can (And (I 1) (I 2)) -- not typesafe eval :: E -> ??? -- we can add phantoms and smart constructors data E a -- private (do not export) constructors = I Int | B Bool | Sum (E Int) (E Int) | And (E Bool) (E Bool) i :: Int -> E Int b :: Bool -> E Bool sum :: E Int -> E Int -> E Int and :: E Bool -> E Bool -> E Bool i = I; b = B; sum = Sum; and = And eval :: E a -> a eval (I x) = x -- ?? type of `x` is not `a` -- it is Int то есть одну проблему мы решили, а вторую (приведение Int к a) нет, гадты решают и это введением коершинов, пруфы о равенстве типов (в данном случае a ~ Int), которые поставляются в конструкторах, и их применении к значению

Во, ясно.

Данке.

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

\o/

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

и как, помогает? (от чего, кстати?)

от неожиданных утечек и введения бесполезных имен

бесполезные имена это всякие go?

да

вместо `let go = ... in go

+ помогает от утечек при вложенных циклах

"go не нужен" — @haskellru

не очень красиво получается, когда нужно аргумент в fix-функцию передать

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

а можно пример?

хаскель не нужен -Роб Пайк

ну это ж haskell тут 100500 способов и плюсов и минусов у каждого

осталось теперь упороться и сделать data ExprF a where и обмазаться тайплевел фиксами

fix это такой safe default

fetchLoop manager req = flip fix 0 $ \next errCount -> do r <- fetchOnce manager req errCount case r of Nothing -> next (succ errCount) Just keys -> pure keys

ката и анаморфизмами

вместо `let go = ... in go

Да, с fix определённо лучше! fix (\go n -> if n <= 1 then 1 else n * go (n-1)) 5

ката и анаморфизмами

generalized!

если кому интересно отмотайте на несколько недель назад, там длинная дискуссия была

если кому интересно отмотайте на несколько недель назад, там длинная дискуссия была

возможно что в другом чате

в этом

с @JelF1337 диалог был

если я не ошибаюсь

было дело

fetchLoop manager req = flip fix 0 $ \next errCount -> do r <- fetchOnce manager req errCount case r of Nothing -> next (succ errCount) Just keys -> pure keys

FLIP! вот оно, это то что я выше писал про проблему передачи аргумента чет я про flip не подумал

вообще как мне передали мысль сноймана если тебе приходится объяснять что-то более, чем 2 раза то пиши об этом пост

видимо надо писать об этом пост.

но это сложно и долго :/

соблюдайте предельную осторожность. Первый симптом fix, потом flip, дальше (.) . (.) и понеслась

но это сложно и долго :/

пусть @JelF1337 пишет об этом пост!

я кстати могу

мнение человека может не совпадать со мнением редакции

но вообще круто бы

соблюдайте предельную осторожность. Первый симптом fix, потом flip, дальше (.) . (.) и понеслась

https://hackage.haskell.org/package/universum-1.0.4/docs/Universum-VarArg.html потом вот это

ну это ще вроде норм

вот если функция point-free, а большая часть операций там это флипы и композиции, то пациента пора лечить

https://hackage.haskell.org/package/universum-1.0.4/docs/Universum-VarArg.html потом вот это

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

было у олега

сколько нужно памяти на компиляцию?

А как fix помогает от утечек?

мне тоже нравится

но когда я это исопльзую ощущение что я переусложняю

@qnikst А как fix помогает от утечек?

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

Там incoherent instances 😒

Сначала придумают карриррвание, а потом проблемы с ним решают

опять типы не налезли

@qnikst А как fix помогает от утечек?

создает дополнительный уровень индирекции

в итоге у тебя во внутреннем цикле не хранится ссылка на разворачиваемую функцию, а на обертку fix

у Ромы был пост про двойной цикл

с выводом AAAA ужас

а использовал бы fix - сразу все хорошо

я раньше использование фикс видел только в докладе у spj

там он предложил в ghci ввести fix error

а за последнеюю неделю уже 2 послезных кейса увидел

я постоянно вижу полезные кейсы, потом смотрю результат и переписываю на let :(

у Ромы был пост про двойной цикл

Это: https://ro-che.info/articles/2017-01-10-nested-loop-space-leak ?

+

worker написанный с fix просто работает

там он предложил в ghci ввести fix error

зачем?

/home/basov/ldap syslog1.mon.m

бери и удаляй

я попробовал положить поле в userPKSC или как там его