но это такие мелочи

пока не 100% тестов и не оттесчено в работе

шанс контрибутнуть в обе библиотеки ))

в highlevel так точно

а то прям such haskell.. две либы и обе сырые

ну raw я доволен, ей хотя бы пользоваться можно

хотя конечно lmdb не то чтоб супер-популярная штука

c highlevel непонятно что делать

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

почему?

они пытались абстрагироваться и подстроить под свои кейсы

апи у lmdb вообще такой что там удобно писать свои прокси под свои задачи

а как его сделать обобщенно - непонятно

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

для этого raw

не похоже что у highlevel эта задача была

надо взять от highlevel все хорошее и притащить в тот другой пакет )

надо придумать, что делать с Multi$Type и Type

которые там дублируются не по делу

и тупым дефолтам. типа если env RW то и транзакция RW

если транзакция RW то именованные базы мы создаем

а они делают Multi для DUP баз что ли?

да

причем у них курсор тоже Multi и обычный

неожиданно

кунг-фу на типах у авторов оказалось недостаточно сильное ))

угу

или например есть на уровне типов кайнд ReadWrite / ReadOnly

оно логично

но почему-то все RO операции не полиморфные по нему

хотя они и в RO и RW работать могут

сделай issue авторам с предложением ) мож там активные люди

@qnikst слушай, а где у них ffi делается? чет смотрю либу и никаких там foreign import

foreign import ccall safe "lmdb.h mdb_get" _mdb_get :: Ptr MDB_txn -> MDB_dbi -> Ptr MDB_val -> Ptr MDB_val -> IO CInt

https://hackage.haskell.org/package/lmdb-0.2.5/docs/src/Database-LMDB-Raw.html#mdb_get

нене, а в хайлевеле?

кстати ccall лучше не надо лучше capi

хайлевел же на основе лоу-левела

аа, блин

тогда точно начинать допиливать с лоу левела

от лоу-левела я хочу чего-то больше похожего на zerocopy

совсем-то не получится т.к. модель объектов в памяти другая

влоть до того как компакты придут

Всем доброго утра

кто-нибудь работал с shake? использовал add/askOracle?

кто так быстро среагировал на спам?:)

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

@voidlizard не участвуешь в специальной олимпиаде? http://maxim.livejournal.com/503548.html

неа

В соответствии с новым законопроектом сборщики мусора в работающих на территории РФ Java-машинах обязаны хранить данные в течение полугода.

интересно, хаскела это касается или нет

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

лол

В Советском Союзе Хаскелл бы запретили, потому что ленивые вычисления противоречат идеологии максизма-ленинизма.

https://www.evernote.com/l/ALH5zThdaxBEeqn5nZ4yCHVlyAojBHaSCb0B/image.png

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

LegalIO ?

FsbT наверное

моноид

А нету ли у нас чего-нибудь подобного xpath по семантике для запросов по ADT ? Ну, что-то типа линз, только создаваемое в рантайме?

Либы нету, при желании можно накостылять, но или это будет сильно небезопасно, или придется typeable или даже инфу от generic таскать чтобы имена полей ловить

зайдем с другой стороны

ну почему небезопасно? если у нас есть какой-то a , нам надо сделать какой-то query a "/employees[*]/name" ну и что такого, если не сматчится? вернем Nothing

или так: query a "/employees[name="Вася"]/salary"

Тебе нужно будет чуть-ли не по raw памяти бегать

но почему?

А хорошо я с Dynamic можно наверное

Map Name TypeRep и cast к нужному типу

что если для такого доступа достаточно какой-то там тайпкласс заимплементить для всех типов, которые в это входят? может, в сторону Generic или Data надо копнуть?

Data я вот кстати не знаю, может там изкоробки есть

Generic чтобы генерировать поля для языка и функции

Я бы так накостылял, но я у компа только завтра буду

посмотрю, что за Dynamic

Это просто data D = forall x.typeable x => D x

т.е я подобное делал для валидации модели TR-069 но там кажется был один тип

+-

Слушай, я точно попробую такое запилить, оно мне может быть нужно

да оно всем нужно, это ж будет linq для х-ла

удивительно, что нет такого

Я знаю как сделать для фиксированного числа типов

Как совсем linq сделать я не знаю, без плагина