просто можно сделать: join $ atomically $ do original <- readTVar x pure $ check (original ==) =<< readTVar x

только там обычный бул принимается без монады так что прежнее значение нужно получить до этого блока atomically

дык мой код смотри, он получает

и возвращает IO ()

который сравнивает с оригиналом

для этого join

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

pure $ atomically $ check..

огогого

только я сказал про свою мухосрань, как в Витебске появилась вакансия на хаскелиста

ну хотя там сложно как-то, в ссылке витебск, а в описании питер

но у нас есть андерсон, по моему в моем же здании

Похоже просто вакансию витебские ейчары открыли

https://spb.hh.ru/vacancy/27408106 может кто-нибудь хочет проверить что там за реальная вакансия под этим скрывается?

https://spb.hh.ru/vacancy/27408106 может кто-нибудь хочет проверить что там за реальная вакансия под этим скрывается?

можно пойти в @haskell_cv, там сидит их HR и отвечает на любые вопросы

о пропустил очередной хаскель чат

о, -AL появилось в опциях ghc

а появилась ли опция чтобы ghc не отдавал память системе? а то @drcha0s пофиксил это, а мне теперь страдать

-AL это что?

о пропустил очередной хаскель чат

вот тут https://ruhaskell.org/links.html исчерпывающий список

все, понял

а появилась ли опция чтобы ghc не отдавал память системе? а то @drcha0s пофиксил это, а мне теперь страдать

чо я пофиксил? 0_0

https://www.reddit.com/r/ruhaskell/ лол

надо создать haskell_cv_blah, чтоб было куда скидывать офтоп из haskell_cv если сейчас он посещаемым станет

чо я пофиксил? 0_0

или не ты?

кто-то же фиксил то, что rts стала активнее память системе отдавать

ну там была утечка каких то хендлов

то не я

а может это, ааа как его звали, в MS и потом в FB рабоатет

не помню про отдавать, был фикс который по другому пересчитывал, сколько оставлять

blaze

-AL это что?

-A для больших обьектов

которое общее на все треды

да я уже посмотрел

по умолчанию равно -A

тебе скоро ник менять придется

надо создать haskell_cv_blah, чтоб было куда скидывать офтоп из haskell_cv если сейчас он посещаемым станет

_blah это уже такой terminal object

A64m AL256m

остальное вроде теперь по умолчанию включится

ну там была утечка каких то хендлов

точнее pthread_detach на forkOS не делался

_blah это уже такой terminal object

/dev/null

точнее pthread_detach на forkOS не делался

это помнб

или может можно A32m AL128m

наверное

ещё можно n4k

само включится же

не 4k правда

Default: 4m with -A16m or larger

qb тоже не надо настраивать уже Default: 1 for -A < 32M, 0 otherwise

осталось только A разумный по умолчанию

была надежда на патч, который его в размер L3 кеша устанавливал

уже было бы более-менее (на сервере)

но марлоу затоптал

о история дня

тут веб сервер есть (с примитивной логикой (общение с редисом, и ккриптографии чуть-чуть) тестят какой rps выдает

после 2.5rps начинало дико тормозить

уточнил, параметры проца, добавили GHCRTS=-N4 вместо -N

стало отрабатывать 4.5к без проблем

то что N делает капабилитей по числу виртуальных ядер а не нормальных, тоже отличная фича, конечно

именно

а он по умолчанию разве число capability не вычисляет?

там было 4 проца

удивительно как при дефолтных настройках вообще что-то работает

и 8 тредов

ERROR: S client not available

у меня для этого дома отключено HT

все равно с ним ничего кроме дробилок на си не работает

т.е. он -N8 выставил?

да

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

ну у меня ж все равно накоманский конфиг без DE

где браузер это единственная программа не в терминале

может это чтобы WT могли зарабатывать?

пара пассов руками и +100500 производительности

но эйзенберг немного их пыл остудил

Удобно, когда можешь коммитить в GHC ни у кого не спрашивая. Но вообще есть план закрыть как можно больше древних пропоузалов, в том числе и так.

@grwlf будет жить. Поприветствуем!

Чего то новее чем Окасаки ещё не написали?

What's new in purely functional data structures since Okasaki? - Theoretical Computer Science Stack Exchange https://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki

Такое встречал

чего-то RecordWildCards работает через зад

пойти что-ли мануал перечитать

как всегда идиот я

не стоит так категорично, разобраться в проблеме за 7 минут не каждый лишь сможет

ну я ж потратил до этого ещё 15

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

Укажите , а в хаскеле есть примитивы для конкаренси? Локи, симафоры и тому подобное

Да, есть.

Вот тут глянь: https://www.google.ru/search?q=haskell+concurrency

Итак, я снова пришёл к вам с нубскими вопросами, которые на осилил из книжек и статей в Гугле. Объясните, пожалуйста, суть монадных трансформеров?

Если видео перевариваешь, попробуй курс на Степике

Там очень хорошо изложено (имхо)

И детально, и с примерами, и с упражнениями.

Ну я пока смог найти то, что трансформеры нужны, что бы внутри одной монады обеспечивать эффект другой.

Правильно я понял или нет?

Да

А так только 2 монады можно друг в друга вложить?