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

Господа, а есть какой-нибудь хороший и систематичный способ побенчмаркать память? criterion для скорости, а есть что-то для allocations/gc?

На коленке есть :set -s

Ещё есть библиотека weigh

Ещё есть библиотека weigh

o! вот это видимо надо попробовать

А вот если у меня есть vs :: TVar (Set a), то как лучше всего подождать, когда в этой переменной vs появится какое-то значение? И тут же получить его. Сейчас на слипах делаю: s <- fix $ \loop -> atomically $ readTVar vs >>= (\s -> if Set.null s then (threadDelay 1e5 >> loop) else s) Но это ж не очень правильно, вроде как?

А вот если у меня есть vs :: TVar (Set a), то как лучше всего подождать, когда в этой переменной vs появится какое-то значение? И тут же получить его. Сейчас на слипах делаю: s <- fix $ \loop -> atomically $ readTVar vs >>= (\s -> if Set.null s then (threadDelay 1e5 >> loop) else s) Но это ж не очень правильно, вроде как?

появится или изменится? if Set.null s then retry

Господа, а есть какой-нибудь хороший и систематичный способ побенчмаркать память? criterion для скорости, а есть что-то для allocations/gc?

а конкретнее, в чем задача состоит?

появится или изменится? if Set.null s then retry

Точно, спасибо

а конкретнее, в чем задача состоит?

Глобально задача выглядит так. Я замыслил и потихоньку ковыряю вот такую штуку https://github.com/lolepezy/stm-ixset типа IxSet, но для конкурентного случая (по аналогии с stm-containers). Сейчас меряю, действительно ли есть профит в сравнении с TVar IxSet (вроде есть, раза в 2-3 быстрее при большом числе конкурентных модификаций, хотя надо дальше смотреть). Но хочу еще выбрать реализацию, чтобы памяти ела поменьше при прочих равных.

Есть норм тутлриалы ен/ру по созданию приложений под мак на хаскеле?

Желательно не через динамическую библиотеку

Глобально задача выглядит так. Я замыслил и потихоньку ковыряю вот такую штуку https://github.com/lolepezy/stm-ixset типа IxSet, но для конкурентного случая (по аналогии с stm-containers). Сейчас меряю, действительно ли есть профит в сравнении с TVar IxSet (вроде есть, раза в 2-3 быстрее при большом числе конкурентных модификаций, хотя надо дальше смотреть). Но хочу еще выбрать реализацию, чтобы памяти ела поменьше при прочих равных.

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

Есть норм тутлриалы ен/ру по созданию приложений под мак на хаскеле?

консольное приложение создаётся так же, как на любой другой ОС. или интересует GUI? или автоматизация создания .app? или что-то ещё?

консольное приложение создаётся так же, как на любой другой ОС. или интересует GUI? или автоматизация создания .app? или что-то ещё?

Ровно все то что ты перечислил

Хаскельных мануалов не нашёл, когда надо было, навелосипедил по общечеловеческому

С копированием всех dylib внутрь app

Гуй на sdl

С копированием всех dylib внутрь app

Расскажешь чем собирал?

Гуй на sdl

Изучу

А вот если у меня есть vs :: TVar (Set a), то как лучше всего подождать, когда в этой переменной vs появится какое-то значение? И тут же получить его. Сейчас на слипах делаю: s <- fix $ \loop -> atomically $ readTVar vs >>= (\s -> if Set.null s then (threadDelay 1e5 >> loop) else s) Но это ж не очень правильно, вроде как?

я же вчера только писал

если позволяет скорость то читаешь и делаешь check . Map.elem x =<< readTVar

минус, что оно будиться на каждую запись будет

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

Да, спасибо!

да, забавно вышло. за чатом не уследить

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

лучше скажите, как с помощью http-reverse-proxy запроксировать web-socket при этом проверив заголовки

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

т.к. заголовки устанавливать нельзя, то установил протокол и в нём передаею

на прокси приходит оно все проверяет, но дальше ничего не работает

без логов нормальных

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

вопрос снят

вопрос снят

поставил nginx перед сервисом?

нет, я глупости просто делал

перестал делать глупости все заработало

вообще когда-нибудь нужно будет все через nginx делать, но там не все так просто

Сергей Семёнов будет жить. Поприветствуем!

вообще когда-нибудь нужно будет все через nginx делать, но там не все так просто

Почему сразу с nginx не сложилось?

там ingress стоит, который nginx под прикрытием

там логика достаточно сложная, я не уверен что с accel redirect или как там его все взлетит

да и все равно мой вопрос останется

там ingress стоит, который nginx под прикрытием

У вас k8s?

+

Прогрессивненько. Вам дивапс не нужон? :)

вашей маме зять...

?

@elemir90 напиши на jobs@tweag.io

я точно не знаю достаточно ли у нас дивопсов

ok, напишу когда меня в JB пошлют :)

в FP Complete можешь написать, но тебеж ремоут не нравится?

у нас пока Tweag Russia не открывается..

@qnikst а ты в офисе или ремоут?

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

ERROR: S client not available

ремоут

я из-за family illness не могу дольше, чем на 2 недели уезжать от дома

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

вопрос по теме канала, а что с cabal new-run происходит, он в каких версиях нормально работает?

существует HFunctor вида class HFunctor hf where hfmap :: forall g h. (g ~> h) -> (hf g ~> hf h) я вот думаю какой должен быть тогда HBifunctor class HBifunctor hb where hbimap :: (f ~> f') -> (g ~> g') -> (hb f g ~> hb f' g') правильно?

ну да

а теперь как бифунктор написать для) data MonadF f g a = DoneM a | MoreM (f (g a))

Очевидно никак, только инвариантный

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

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

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

loopM

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

http://www.haskellforall.com/2012/07/breaking-from-loop.html

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

fix ftw

fix $ \next -> do if foo bar then pure () else ... » next

вообще какой-нибудь монадический апоморфизм)

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

callCC

но можно и его частный вариант loopM :: Monad m => (a -> m (Either a b)) -> a -> m b loopM act x = do res <- act x case res of Left x -> loopM act x Right v -> return v

люблю fix

он не течет случайно

Ух ты, всем спасибо :)

`` m ^. unregisteredClaims . at "isRw" . _Just . _Bool ` ка это правильно на линзах написать?

http://www.haskellforall.com/2012/07/breaking-from-loop.html

Вот тут вроде самый подходящий вариант

unregisteredClaims :: Lens' ClaimsSet (HashMap Text Value)

а что пример в вопросе не работает? (только там ^?)

щас попробую

К "хаскель - лучший императивный язык": как можно в каком-нибудь State имитировать бесконечный цикл с выходом из него? Вроде forever $ do bar <- get if foo bar then break else put (qux bar)

выглядит как задача для трансформера ExceptT (со State внутри)