AN
звучит как nosql бд
nosql - это и есть древесная динамическая структура с правилами сравнения. По сути любая программа в рантайме так и выглядит. Вопрос в том, как вы защищаете это вот внутреннее тело от программиста
Size: a a a
2020 October 07
AN
Ну и да, на динамике вы получаете например дифы независимых структур. Вы не можете делать это ни в каком хаскеле
ML
Поэтому, собственно, лично я пока живу без линз, с горами вызовов copy ручками.
вообще, наверное, это и есть the way
(
Ну и да, на динамике вы получаете например дифы независимых структур. Вы не можете делать это ни в каком хаскеле
звучит ебанатично, please elaborate
AN
звучит ебанатично, please elaborate
Как звучит? Расшифруй термин плиз
AN
звучит ебанатично, please elaborate
Смысл в том, что если структура под капотом представлена как динамическое дерево, то ты можешь сравнивать две независимые структуры и делать дифы, не зависимо от того, что там за типы и откуда это пришло. Более того, можно наслаивать объекты один на другой и применять к одному изменения из другого
(
Смысл в том, что если структура под капотом представлена как динамическое дерево, то ты можешь сравнивать две независимые структуры и делать дифы, не зависимо от того, что там за типы и откуда это пришло. Более того, можно наслаивать объекты один на другой и применять к одному изменения из другого
что значит "динамическое"?
AN
что значит "динамическое"?
значит не типизированное дерево значений, у внутреннего представления которого нет статического типа.
AM
nosql - это и есть древесная динамическая структура с правилами сравнения. По сути любая программа в рантайме так и выглядит. Вопрос в том, как вы защищаете это вот внутреннее тело от программиста
Nosql сильно разный есть, и key-value, и графовые, и документных БД, и ещё с десяток других, о которых я ничего не знаю. Уточняйте, что ли, что вы о документных :)
AN
Nosql сильно разный есть, и key-value, и графовые, и документных БД, и ещё с десяток других, о которых я ничего не знаю. Уточняйте, что ли, что вы о документных :)
Хорошо. я о древесных. Они не обязательно документные. Пример - тот же Oak.
(
значит не типизированное дерево значений, у внутреннего представления которого нет статического типа.
и почему это нельзя сделать в хаскеле?
AM
Да можно, просто выглядеть это будет не намного менее убого, чем в котлине.
(
Да можно, просто выглядеть это будет не намного менее убого, чем в котлине.
а почему в котлине это будет убого выглядеть?
AN
Да можно, просто выглядеть это будет не намного менее убого, чем в котлине.
Отлично оно в котлине выглядит.
AN
и почему это нельзя сделать в хаскеле?
Я имею в виду, нельзя сделать на типах, линзах и прочем. Разумеется, продублировать такую структуру можно. Хотя и очень сложно как раз из-за отстуствия состояния
I
@themishkun что за тема с лямбдой?
AN
Да можно, просто выглядеть это будет не намного менее убого, чем в котлине.
В котлине мне немного не хватает компайлер плагина, чтобы автоматом генерить неизменяемые версии схемм, в остальном работает просто замечательно
AM
а почему в котлине это будет убого выглядеть?
Потому что обмазано вдоль и поперёк строковыми литераторами, если поверх этого, как Александр отметил, слой статики не намазать.
AN
Потому что обмазано вдоль и поперёк строковыми литераторами, если поверх этого, как Александр отметил, слой статики не намазать.
Так весь смысл в слое статики
ML
@themishkun что за тема с лямбдой?
какой лямбдой?