в каком репле и какого кода?)

классический скаларепл, классический скалакод

~console попробуй

не сожрало

я так понимаю в сбт? в классическом репле скалы точно нету ~console

я так понимаю в сбт? в классическом репле скалы точно нету ~console

мне кажется работало раньше ): не помню когда

ну или я что-то путаю

я так понимаю в сбт? в классическом репле скалы точно нету ~console

сейчас сбт, но вообще пофиг, и без тоже ок было б

мне кажется работало раньше ): не помню когда

у меня гребанная тильда в принципе работает по своему хотению

а, с тильдой он просто по :quit будет рестартить консоль подхватывая изменения

ииииии. Прод сервера редиса были потрачены

ииииии. Прод сервера редиса были потрачены

тут не матерятся

сори, не знал

поправь (правый клик мышки, edit)

ииииии. Прод сервера редиса были потрачены

Где?

Где?

тут уж палиться наверно не стоит

Номер телефона, фотки, ник, редис. Вообще никак не выяснить, о чем речь...

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

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

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

комичненько

Легко, воздушно, облачно.

ну так только бэкапы профукали

ну так только бэкапы профукали

с серверами. Вообщем всю дату походу профукали.

Еще один день странных вопросов. Представим, что у меня есть достаточно развесистая доменная область - там сотня разных объектов вложенных друг в друга. И есть один топлевел объект. Мне нужно сделать дифф двух инстанцов этих моделей. Какие ключевые слова почитать? Какую теорию?

Еще один день странных вопросов. Представим, что у меня есть достаточно развесистая доменная область - там сотня разных объектов вложенных друг в друга. И есть один топлевел объект. Мне нужно сделать дифф двух инстанцов этих моделей. Какие ключевые слова почитать? Какую теорию?

почитай shapeless

им генерить такие дифалки?

как вариант

зависит от того, какой конкретно диф ты хочешь

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

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

и ты хочешь какой-то хорошо типизированный объект, или нет

да, хочется типизированный объект. Задача такая - есть системы с определенным состоянием. Есть желаемое состояние. Нужно сначала описать что нужно сделать чтобы синхронизировать их состояния, а потом - подергать АПИ изменения состояния

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

ну я бы придумал какой-то trait Diffable[A]{ type Repr def compute(source: A, target: A): Repr def applyDiff(source: A, diff: Repr): A }

и выводил бы для кейз\силд его как labelled generic

а для остальных дерайвил

Написать какой нибудь typeclass trait Convert[A, B] { def convert(a: A): B } и генерить шаплезом инстансы, но тоже будет боль

норм идея. мне нравится ) первый раз шейплез похоже нужен

ну я бы придумал какой-то trait Diffable[A]{ type Repr def compute(source: A, target: A): Repr def applyDiff(source: A, diff: Repr): A }

А не должно быть B?

не, нужно два одинаковых объекта

Аааааа

ясн

тогда да, что типо того

типа State(a: List[StateA], b: Set[StateB], ...) и дальше val existingState: State = ??? val desiredState: State = ??? val migration = diff(existingState, desiredState)

да, хочется типизированный объект. Задача такая - есть системы с определенным состоянием. Есть желаемое состояние. Нужно сначала описать что нужно сделать чтобы синхронизировать их состояния, а потом - подергать АПИ изменения состояния

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

ага... но это уже детали реализации конкретных структурных диффалок

будут ли они оптимальными или нет

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

на типах это будет медленно

я пробовал выводить цепочки преобразований

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

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

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

Потому что в общем случае на дереве - это O(n^3)

я пробовал выводить цепочки преобразований

и?

прост нужно искать композиции разной длины и кроме как полным переборов в обмщем случае это не сделать надо правила какието и евристики вводить чтобы хоть как-то работало

но вообще оно работает конечно)

не понятно какой Repr только будет, что то типо ('a ->> Lens[A, B]) :: HNil ?

прост нужно искать композиции разной длины и кроме как полным переборов в обмщем случае это не сделать надо правила какието и евристики вводить чтобы хоть как-то работало

нее совсем

нее совсем

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

я не вдавался в этот дифф который вы тут обсуждаеие

раз уж вы все в теме - а есть что почитать по теории таких поисков кратчайшего дифа?

не понятно какой Repr только будет, что то типо ('a ->> Lens[A, B]) :: HNil ?

все зависит от типа 1) для кейз-класса - это Labelled HList для каждого поля 2) для sealed trait а - это Either[A, U] - где U - это labelled coproduct для каждого подтипа 3) для коллекций - какой-то свой формат, но тоже зависит от Repr для Item

сложна

для примитивов какие-то предопределённые

ну для коллекции это же добавить/удалить/обновить, не?

Надо еще понять что за дифы хочется иметь

Просто так делать функцию, которая будет делать из A -> A

это какая то чушь

раз уж вы все в теме - а есть что почитать по теории таких поисков кратчайшего дифа?

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

ну для коллекции это же добавить/удалить/обновить, не?

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

Надо еще понять что за дифы хочется иметь

уточни вопрос? дифы как описание как из existing получить desired.

только, если как в React и подобных решениях делать для Item ов идентификаторы

Ну что ты будешь делать с этим дифом?

Ну что ты будешь делать с этим дифом?

применять

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

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

Ну что ты будешь делать с этим дифом?

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

Т.е. implicit listDiff[A: Diffable : Identifiable]: Diffable[List[A]]

а ты возмущаешься тут, см. Алексей так и ответил

Ну это же тупняк, чем это лучше чем просто заменить ссылку

где sealed trait Identifiable[A]{ type Id def getId(obj: A): Id }

То есть по сути то нужен читаемый диф

где sealed trait Identifiable[A]{ type Id def getId(obj: A): Id }

типа того, да.

То есть по сути то нужен читаемый диф

нужен структурированный. из него слепим читаемый

Ну это же тупняк, чем это лучше чем просто заменить ссылку

не понял

нужен структурированный. из него слепим читаемый

Ну я имею ввиду, что применение дифа тебя не интерисует по сути

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

раз уж вы все в теме - а есть что почитать по теории таких поисков кратчайшего дифа?

Я не в теме, но очень похожая задача решается в probabilistic graphical models в дискретном случае. Там как раз определен некоторый граф, ноды которго с некоторой вероятностью переходят в другие ноды. И одной из задачек как раз является близость графов, как получить один из другого путем преобразований. Но там решения нет ? Там всякие эвристики по типу кластеризации графа, и машинка.

Или тебе надо куски дифа применять?

Как при мерже в гите?

Как при мерже в гите?

нужны куски. нужно иметь возможность применить части

ясно понятно

Тогда на уровне типов тебе это врядли нужно

Тогда на уровне типов тебе это врядли нужно

тс

Тебе нужно что то типа List[Diff]

чо ты такое говоришь

Алексей попробуй! быть может родится amazon-diffless

Алексей попробуй! быть может родится amazon-diffless

аахахахах

название хорошее да)

Тебе нужно что то типа List[Diff]

типы все равно нужны, потому что в зависимости от положения в дереве разные АПИ на его изменения.