в 30ке лучше умеют дебилов занять?

я про общую школу, там же происходит отсев и работают с теми кто собирается учиться

окей

А потом удивляются чего это хаскелисты такие высокомерные. А это еще из физмат школы тянется.

я ж в ней не учился лул

Я фейл

А так хотелось в пятницу покибербулить

λ> import Xeno.Streaming λ> helloXml "<?xml version=\"1.1\"?>\n<foo><greeting>Hello, world!</greeting></foo>" λ> let r :: Either ParserException (Hello Maybe) = parseHello helloXml λ> r Right (Hello {unHello = Just "Hello, world!"})

ы?

отвратительно. поле unHello бессмысленное

далее 1) эксепшены по человечески обрабатывать 2) пилить аналог sax-machine 3) на пакеты разносить как у людей

это newtype

а ты отвратительный кибербуллер

Кибербулеан

кибердуриан

киберснойманитъ

короче есть задача такая

Кибербуллировал, кибербуллировал, да так и не выкибербуллировал.

Хибернейт

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

нужно её постепенно заполнять и, видимо, что-то зиппероподобное/курсороподобное иметь

как у человеков это делается?

а вы рептилоид?

Lens, zoom, monadstate

а вы рептилоид?

не из ваших, сорри

Или нет

я думал про zoom

но фиг знает

еще пакет zipper подсказывали

zipper для этого пакетом или руками

или билдер генерить

Генерит зиппер темплейт хаскелем?

а есть примеры где-нибудь?

как у человеков это делается?

bi/uniplate http://hackage.haskell.org/package/one-liner-0.6/docs/Generics-OneLiner.html

ну и забыл сказать, важно чтобы БЫСТРО было

TH и прочие компайл-таймы вполне катят

но в рантайме надо ВЖУХ

ещё конт можно

Тогда STRef

я не понял как с Cont сделать

не знаю, но как-то можно

ну в смысле сходу не скажу

с Cont наверное можно даже без параметризации структур функторами(я использую Maybe для инициализации пустой структуры в стейте)

но применение всяких билдеров это ж конт

я пятой точкой чую что как-то можно, но не понимаю как

хмхм

я не понял вопроса

есть сложный рекорд

есть SAX события

есть вложенные рекорды, произвольной глубины

нужно построить этот рекурсивный рекорд эффективно

это результат работы sax-парсера

угу

никак, эффективно не построить

я думаю следующее

беру и вместо обычных рекордов делаю параметризованные функтором

вначале структура инициализируется с параметром Maybe

в конце парсинга надо превратить в Identity

r Maybe -> r Identity в принципе дженериками делается

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

это дорого будет

фор сам дефинишн

угу

ты ж структуру всю скопируешь

у меня дефицит хороших идей

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

ну хорошая новость в этом такова, что я копирую только подмножество xml

которое нужно

а остальное игнорирую

в этом уже выигрыш относительно dom-парсеров

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

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

какой-нибудь шайтан с recursivedo и прочими fix

Тут можно и себе ногу узлом завязать

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

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

но не уверен, думаю что забуду

делай тупо STRef внутренностей

или IORef

Вместо Maybe

STRef в качестве функтора типа

правда значения по умолчанию надо