И как это приведёт к однократному пробегу?

data Once a = Once () a если таскать такое вместо a то последующие форсы не будут пробегать структуру

once :: NFData a => a -> Once a once a = Once (rnf a) a instance NFData (Once a) where rnf (Once () _) = ()

Прикольно! :)

https://www.schoolofhaskell.com/user/edwardk/snippets/once

почему только последующие? похоже, что на эту структуру вообще rnf не действует как ожидается

Не, там имеется ввиду, что надо где-то в коде дёрнуть once, а последующие force уже не будут на неё действовать

но если не дёрнуть once, то force вообще никогда не будут действовать? в чём смысл слова "последующие" перед "force"?

Ну так, да.

Это структура в которой WHNF=NF (но создачать её можно только once)

а, надо обернуть данные в once (sic!), а не в Once!

почему только последующие? похоже, что на эту структуру вообще rnf не действует как ожидается

все в порядке с ней

обернуть тип нужно в Once конечно же

создать Once можно вызвав метод once

обернуть тип нужно в Once конечно же

этого недостаточно же

создать Once можно вызвав метод once

не можно, а нужно

нужно, если у тебя есть другие возможности

ладно, я в haskell лучше разбираюсь, чем в русском

А подскажите, есть такая же уютненький канал/конференция по Gentoo?

https://t.me/russian_gentoo

@dmalkr ^

есть по NixOS - давай лучше к нам

https://t.me/ru_nixos

забаньте этого спамера каналами!!1

точно, забылл ссылочку:)

Haskell Windows developers, unite! I have a question for you. Does Windows Defender go nuts for you as well when you build with GHC? And if so, how do you deal with it? https://www.reddit.com/r/haskell/comments/87eukk/haskell_windows_developers_unite_i_have_a/

Виндоболь

Так, рассказывайте как вы переменными среды конфигурируете свои микросервисы на хаскеле.

какой либой?

А чем NixOS примечательная с т.з. программиста?

Чем она лучше arch или gentoo ?

с т.з. программиста достаточно nix

Так, рассказывайте как вы переменными среды конфигурируете свои микросервисы на хаскеле.

я пока перешел конфиги через cli

не понял пока лучше это или хуже

так, 12 факторов говрят энв вары тру.

lookupEnv

ну а валидация и вот это всё?

у нас optparse-applicative + подхачено кое-где, где оно не умеет как нам надо

а оно умеет переменные среды разве?

http://hackage.haskell.org/package/envy норм?

@lonokhov: createParser :: IO (ParserConfig) createParser = lookupEnv и поподставлять их в default

а оно умеет переменные среды разве?

А, не. Я не другой вопрос ответил

мечтаю взять и наконец-то зопилить расширение для optparse-applicative

@lonokhov: createParser :: IO (ParserConfig) createParser = lookupEnv и поподставлять их в default

уродски же. бойлерплейт

ну почему же, в общем-то не добавляет много бойлерплейта

но уродски, да

с другой стороны более хорошего совмещения cli+env я не видел

можно hflags ещё

если любишь TH и тонны опций без деклараций явных

А нужен ли cli?

мне cli удобен тем что видно что я не проставил

default я как-то не оч хочу

тестить с cli удобно

мечтаю взять и наконец-то зопилить расширение для optparse-applicative

какое

чтобы можно было указывать env "varname" и переменная искалась и в окружении

https://github.com/pcapriotti/optparse-applicative/issues/118 типа

ого 2015

всего 3 года назад

ну тип видимо никто ничего не сделает пока не найдётся герой

но кейз на самом деле неочевидный.

героя мы нашли, осталось что-бы герой собрался

@vlastachu вполне себе очевидный

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

а в парсере это сложно было

а hie кто-то пользуется?

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

брать значение из cmdline или окружения это абсолютно нормально

можно конечно понаписать костылей в виде юнитов

которые будут одно в другое переделывать

а hie кто-то пользуется?

я, но не с емаксом, естественно

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

сейчас некогда, выключил

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

> parseOnly (string "\\" <> ((string "\"" <> string "1") <|> string "2")) "\\21\"\\" Right "\\" я так понимаю моноид работает не так как я ожидал

аттопарсек

как "или"

а как бы мне конкатить эти строки?

ооого

fmap mconcat . sequence

Или лифтом

тут более двух кусков. Тут уж проще sequence

Два можно было бы через (<>) <$> p1 <*> p2

чёт думал что где-нибудь найдётся

https://www.stackage.org/haddock/lts-11.2/stack-1.6.5/Data-Attoparsec-Combinators.html#v:appending

написал (<++>) = liftA2 (<>) тк там реально нужен <|> и всё в список не затолкать странно получается в контексте парсера как-то нет разницы <> или <|>

Исторически так сложилось.

а собирать HashMap через foldr index в стримах это нормально?

foldr HM.insert

или не эффективно?

fromList эффективнее, он изменяет дерево на месте

конкатить прочитанные строки или конкатить грамматики? string "a" *> string "b" будет матчить "ab"

@A64m_qb0 даже с учетом того, что в первом случае массив не создастся?

@A64m_qb0 даже с учетом того, что в первом случае массив не создастся?

не понял

ну если я из стримовой функции верну список, который потом кину в fromList то он его не итеративно выдаст, а аллоцирует

хм.. вопрос снят

а, нет, я не про то, конечно, что надо через список

а про то что эта функция использует какой-то там опасный мутирующий инсерт

который, ясное дело, быстрее

т.е. у меня fromList <$> stream vs fold_ HM.insert