но они не должны лупить туда.

а должны в какое-то другое место.

ну т.е в этой задаче они вообще не должны никогда.

и потом из этого места целиком переделывать иммутабельную базу?

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

основном на IO

потому что оно было прям одним здоровым шматом, натурально

я попилил на независимые части, стало опять нормально

в памяти только индекс - ссылки

нужные объекты суммонятся (материализуются) по мере надобности

быстро суммонятся?

да

да и иерархия неглубокая

так что да, быстро всё пока что.

стоит про это в апреле в касперском попробовать рассказать?

а что в апреле? конфа?

какой город?

стоит про это в апреле в касперском попробовать рассказать?

конешн

в касперском в мск вроде собираются митап сделать

круто, но хочу в Питере

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

не знаю, я знаю только что в апреле и в касперском

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

т.е там надо еще успеть подать, наверное

угу

учитывая что это всё прямо сейчас пишется

тебе же не код показывать

А я упустил, вы что вместо постгреса используете?

А я упустил, вы что вместо постгреса используете?

acid-state )

а это к кому вопрос?

если ко мне, то НЕ acid-state, т.к он всё в памяти хранит

acid-state )

Ы

а это к кому вопрос?

К вам, извините, промахнулся мимо сообщения

у нас leveldb для diff и снапшотов и память

если ко мне, то НЕ acid-state, т.к он всё в памяти хранит

ну у вас acid-state по сути выступает индексом к данным?

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

у нас граф, и если и объекты или relation исчезли, а обновляться надо

у нас leveldb для diff и снапшотов и память

Сурово

@qnikst @quetzal а можете свои задачи конкретно описать?

По сути свой журналируемая редиска

@qnikst @quetzal а можете свои задачи конкретно описать?

у меня вообще постгрес везде, ничего интересного

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

у меня вообще постгрес везде, ничего интересного

а, сорри, перепутал

По сути свой журналируемая редиска

С гарантиями

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

кластер чего? предметную область хотя бы примерно опиши пожалуйста

кластер hardwar-ный

есть граф описывающий кластер нативными хацкельными типами, с ним работать надо

Кластер в смысле машин?

да

таак. и что с кластером происходит?

сколько в нем машин?

вот есть много железок. а софт что делает?

машин не много, дисков много

в текущем (хотя он сильно скейлится) десяток машин на каждой п 0.5к дисков

всякие сервисы хитрые

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

как здесь используется графовое представление?

DAG или все же просто дерево?

DAG

впрочем A тут неверно

а как в хаскеле представить хотя бы dag? хмм

и уж тем более если циклы есть

а что мешает DAG представить просто ADT-jv

class (SafeCopy a, Hashable a, ...) => Resource a where ... class (SafeCopy r, Hashable r, Resource a, Resource b) => Relation r a b where data Res = forall a . Resource a => Res a data Rel = forall r a b . Rel r (Res a) (Res b) -- тут можно разные контрукторы для направления

дальше как хочешь или Set Rel, или HashMap Res Rel

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

а что мешает DAG представить просто ADT-jv

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

например?

ну т.е любой ADT это граф и есть

тут ещё он расширяемый произвольно

ну, не произвольный.

не ADT у нас т.к. он не расширяемый

например?

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

т.е. ты можешь легк написать новый модуль с куском схемы и использовать его

@async_prince я вот выше написал

в таком предсталении нету никаких проблем с операциями, во всяком случае вставкой поиском (типизированным по ребрам) и удалением

@voidlizard вы когда про фронтенд думали не смотрели на все эти окамлы? bucklescript, reason, js_of_ocaml..

@async_prince ну я не знаю, как делают они, но если придумывать с нуля, то наверное построение из матрицы смежностей можно осилить, а что бы редактировать - наверное, нужно пачку изменений, пртом опят всё в матрицу смежностей, а из неё новый граф. наверное есть и другие способы, это просто тупо первое что в головую приходит

доктор меня все игнорируют : (

@quetzal да я регулярно смотрю по кругу.

@qnikst ну, я про случай, если бы вы не придумали, а надо было с нуля изобретать

@quetzal да я регулярно смотрю по кругу.

и что про окамлы эти думаешь?

ну т.е не очень понимаю, в чем проблема. Зефиров вон докладывал как они графы засунули в IntMap и сишечку дернули по скорости

@async_prince ну я не знаю, как делают они, но если придумывать с нуля, то наверное построение из матрицы смежностей можно осилить, а что бы редактировать - наверное, нужно пачку изменений, пртом опят всё в матрицу смежностей, а из неё новый граф. наверное есть и другие способы, это просто тупо первое что в головую приходит

матричное представление в большинстве практических задач не эффективно (в основном ведь графы у нас разреженные). оно ок лишь для пары-тройки алгоритмов, но всегда прожорливо к памяти

ну да

тут то тоже считай IntMap

только Hash

@quetzal там нигде нет гуевой библиотеки, её что с нуля писать? а просто программировать с нуля на окамле и транслировать в js я как-то профита не виду

хм.. кстати это писалось когда Зефиров в той фирме работал

виджеты всякие, вот это всё

правда не им

@quetzal там нигде нет гуевой библиотеки, её что с нуля писать? а просто программировать с нуля на окамле и транслировать в js я как-то профита не виду

ну чтоб искаропки гуевая библиотека да еще и работала это только elm

про сишку дернули, это кстати прикольно, пакеты на hackage есть

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

вроде

стандартное же представление для разряженных матриц [(Нода, [Ребро])]

только типы на эффективные заменить

я тут намекаю больше на то, что в хаскеле данные immutable, а графы вообще-то удобно иметь мутабельные

зачем?