надо еще какие-нибудь тесты изобразить и рефакторинг

streaming для стримов?

я вот думаю можно ли выразить как-нибудь process через стрим

да

А мне интересно наоборот можно ли :)

хз, я втупую переписал

наверное можно как-нибудь омонадить

stream через process - можно

нда, тест-сьют там так себе

только проверяется по сути, что экспепшены не летят на тупейших примерах

кстати да, наверное можно

пулять туда хендлеры с yield внутри внутри монады со стримом

если получится - можно отдельным пакетом будет

нда, тест-сьют там так себе

Не то слово

Kirill с ContT вроде можно должно быть

блин, оно в лоб обернулось

время тупо потратил

λ> S.print (stream helloXml () :: Stream (Of SaxEvent) IO (Either XenoException ())) Text "\n" OpenTag "greeting" EndOfOpenTag "greeting" Text "Hello, world!" CloseTag "greeting" Right () λ> S.print (streamProcess helloXml () :: Stream (Of SaxEvent) IO (Either XenoException ())) Text "\n" OpenTag "greeting" EndOfOpenTag "greeting" Text "Hello, world!" CloseTag "greeting" Right ()

вот две версии, одну я руками написал, другая - обёрнутый process

> А пока поиграйтесь в войну стэка и кабала Зачем? есть же nix

@catamorphism обёрнутая чем?

в общем первая версия, которая заработала - я там сам process переписал

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

для консьюмера хочется TH взять

а как вызываешь?

который бы генерил сразу структуры и парсеры, как xml-isogen

мне просто интересно как это сделано по человечески

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

в хендлеры ему `yield`ов накидал и оно заработало

streaming норм вообще

в отличие от ракопауканских аналогов

мне просто интересно как это сделано по человечески

ну это надо нормальный консьюмер еще сделать

у меня есть идеи, но я чего-то устал уже

ну и репа через час

я вижу как сделать очень просто producer ценой лишнего треда

зачем тред?

/me удивляется тем как легко бесить этот чатик разговорами от токсичности и агрессии

раньше вопросы про IDE были, теперь токсичность

ну ИДЕ хаскелистов не затролить, емаксом отобьются. а тут прямо такое золотое дно

уже лучше токсичность чем вопросы по иде

ИДЕизм запретить

@catamorphism а как его обернуть верно

process же вроде до конца проходит все вызывая колбек

а тебе нужно в колбеке дальше слать в стрим

если без ContT

в свиттере про ide кстати есть

так если в коллбеке yield, то он приостановит выполнение, пока не попросят следующий ивент

https://kotlinlang.org/docs/reference/extensions.html ad-hoc polymorphis in disguise?

а монада там полиморфная

@catamorphism а что у тебя вместо m ?

c IO только быренько тестил

Stream (Of a) b m' r

тогда или не туда смотрю или не понимаю

streamProcess :: forall m r . Monad m => ByteString -> r -> Stream (Of SaxEvent) m (Either XenoException r) streamProcess str r = do process (S.yield . OpenTag) (\a b -> S.yield $ Attr a b) (S.yield . EndOfOpenTag) (S.yield . Text) (S.yield . CloseTag) (S.yield . CDATA) str pure $ pure r

вот это работает

или я что-то делаю не так?

(я до этого много чего не так делал, но тут вроде пашет)

что за b у тебя в типе?

я просто не помню тип :) игнорируй b

да, process работает в Stream .. m

ок так вижу

я сначала process весь переписал, пока тут кто-то из вас не сказал что наверняка завернется

и оно в лоб заворачивается, ёпт

эх, хорошо сейчас удалёнщиками. не надо мёрзнуть на остановках или бежать до метро по льду.

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

эх, хорошо сейчас удалёнщиками. не надо мёрзнуть на остановках или бежать до метро по льду.

у нас последний месяц популяция в офисе примерно нулевая

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

И изоген поверх?

изогеном надо консьюмер генерить как раз

чтобы можно было описать на DSL структуры свои(которые изоморфны подмножеству xml, отсюда название), из них можно сделать data-декларации с хаскелле и парсеры на классах

надо как-то лапшу в парсерах минимизировать(Cont или на State со структурами параметризованными функторами, чтобы можно было пустыми инициализировать)

https://kotlinlang.org/docs/reference/extensions.html ad-hoc polymorphis in disguise?

не совсем > Extensions are resolved statically

т.е. тоже самое

классы типов резолвятся статически

если у нас не existentional

Хаскель не обещает статически резолвить классы

в Хаскелле инстанс выбирается в рантайме, но может и во время компиляции

ты не прав

в haskell инстанс не выбирается в рантайме

то, что словарь передается параметром это деталь реализации

я не говорил про словарь