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

в 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"

ERROR: S client not available

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

но почему?

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

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

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

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

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

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

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

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

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

+-

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

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

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

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

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

Особенно с учетом того что есть параметрические типы и гадты

но если оно будет работать наподобие uniplate (universe) - то это же вполне ок

[last news] Marvin, a Haskell framework for writing chat bots (inspired by hubot)

@voidlizard там просто проблема, что если не таскать с собой ссылку на typeable, то на руках есть только pointer в infotable

Там есть инфа о полях, причем том pointer это или прямо так

Поидее если держать ссылку infotable -> typeable то может что-нибудь и можно сделать и то не факт

Т.к. информацию о параметрические структурах придется чудом восстанавливать

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

посмотри может graphql реализации есть для хаскеля да, там синтаксис другой, но суть примерно такая же )

А сегодня кто до идрису дошел?

Ребта помогите понять, где я туплю. Есть fluc :: [Double] -> Double fluc [] = 0.0 fluc xs = (mp - av) / mp * 100 where mp = maximum xs av = sum xs / length xs Поразумевается использовать как fluc [1.0,2.0,3.0,4.0,5.0,1.0,2.0,3.0] Но я еще не до конца разобрался с типами. Почему я получаю в ghci • Couldn't match expected type ‘Double’ with actual type ‘Int’ • In the second argument of ‘(/)’, namely ‘length xs’ In the expression: sum xs / length xs In an equation for ‘av’: av = sum xs / length xs

почему в результате деления Double на Double я получаю Int ?

:t (/)

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