Ну, типа как «Воет ли чёрная луна», kekeke.

Нет не воет только рэп читает

Что у нас сейчас юзается для валидации (н-р DTO)? Кроме Chessie что-нибудь еще есть?

Что у нас сейчас юзается для валидации (н-р DTO)? Кроме Chessie что-нибудь еще есть?

ROP

ROP

Это же подход. А я говорю про пакеты его реализовывающие.

Это же подход. А я говорю про пакеты его реализовывающие.

А, чизи же его и реализует. Да. Сорян. Валидаторы это ф-ции. Просто должны result возвращать.

https://github.com/dbrattli/Re-action

привет! Как описать связь 1-N и чтобы было ясно, что среди всех групп N нет пересечений?

Set?

т.е. в модели сделай поле Set<'a>

type Manager = { Name: string Slaves: Set<Employee> }

не совсем, чтобы собрать потом все Set'ы и между ними не было пересечений

Не понял. Сеты собираются в сет без пересечений априори

да, но это отдельные сущности и я могу в первый сет добавить 1 и во второй тоже 1

Не понял. Сеты собираются в сет без пересечений априори

Он про Disjoint Set Union говорит.

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

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

да, но это отдельные сущности и я могу в первый сет добавить 1 и во второй тоже 1

при сборке таких множеств получится множество содержащее только 1 я не понял вопроса наверное

если по примеру выше надо чтобы у манагера Васи были 3 уникальных раба, которых не может иметь манагер Петя?

да

я не знаю как описать непересекающиеся множества в типах на F#

а есть варианты как это можно по-другому сделать?

Я бы полез в канонические реалзиации DSU и просто надстроил бы сверху допсущности.

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

а как он бы убеждался, если данные он не хранит?

я как-то такое делал просто описывая переменную, которая говорит уникальное значение ли. А посчитать эту переменную дело уже не его. Это норм вариант?

Ну тут проблема. Чтобы гарантированно убеждаться надо взять одно большое множество и наделать из него много маленьких, непересекающихся. Валидация маленького множества возможна только при знании всех остальных, ну тут проще

Количество множеств и сами множества изменяемы?

да

Генерация отдельного множеств за O(n) - норм?

допустим, но я не понял зачем мне его генерить)

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

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

идея таблицы Player {Id, RoomId}, где RoomId уникально решает мою здачу, но там она знает про все сущности

Посмотри http://neerc.ifmo.ru/wiki/index.php?title=СНМ_%28наивные_реализации%29 мне кажется, что этого более чем достаточно.

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

надо чтобы один игрок не мог сидеть в двух комнатах одновременно?

Да

тогда мне кажется мапинга Игрок -> Комната будет достаточно 1:1

некий глобальный объект - лес который содержит всех активных игроков по ключу

в этом лесе надо объединять по значению (комнате) в локальные множества. Так можно будет быстро узнать кто сидит в комнате 1, например Короче @Kleidemos прав, тут надо именно эту структуру юзать

Ну получается репозиторий

Ну если обзывать репозиторием всё что содержит данные, то массив тоже репозиторий)))

Ayrat cast summon Neftedollar

Ну disjoint set хорош, когда его не надо перестраивать

Ayrat cast summon Neftedollar

?

?

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

Ну disjoint set хорош, когда его не надо перестраивать

так добавление в него разве не тривиально?

В целом тривиально

Там первый, кто попал под условие вроде

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

да я сразу удалил тогда

а то https://github.com/ionide/ionide-fsgrammar/blob/590e98ee31bfb6e0a98b77b77a621ccd056bc2fd/grammar/fsharp.json#L803

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

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

Ну, не очень) как минимум надо выбрать куда вставить, скорее всего рядом с i, да еще и скомпилить и проверить)

Ну, не очень) как минимум надо выбрать куда вставить, скорее всего рядом с i, да еще и скомпилить и проверить)

это ж VS Code, добавь в User Settings и проверь моментально

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

мб, я уже вот тут c:\Program Files\Microsoft VS Code\resources\app\extensions\fsharp\syntaxes\fsharp.tmLanguage.json поменял, эффекта не получилось

Привет!

Господа, есть такая проблема: Если коротко, мне нужно передать в модуль зависимость, конкретно функцию, если это важно. Модуль рекурсивный, в нем есть система из MailboxProcessor-ов, которые друг другу шлют сообщения, некоторые в обе стороны (для того и модуль и рекурсивный, собсно) Если эту зависимость гвоздями прибить, то все решается само собой, но как только пытаешься ее внедрить извне, все ломается, пушто не получается без нее инициализировать 1 мейлбокс, на который завязаны другие. В какую сторону смотреть? 1 из вариантов, которые я вижу - сделать это не модулем, а объектом, а все мейлбоксы - полями

Сделай рекорд

Господа, есть такая проблема: Если коротко, мне нужно передать в модуль зависимость, конкретно функцию, если это важно. Модуль рекурсивный, в нем есть система из MailboxProcessor-ов, которые друг другу шлют сообщения, некоторые в обе стороны (для того и модуль и рекурсивный, собсно) Если эту зависимость гвоздями прибить, то все решается само собой, но как только пытаешься ее внедрить извне, все ломается, пушто не получается без нее инициализировать 1 мейлбокс, на который завязаны другие. В какую сторону смотреть? 1 из вариантов, которые я вижу - сделать это не модулем, а объектом, а все мейлбоксы - полями

Хороший вариант

У которого поля - функции работы с боксами

Типа Api

Заодно спрячешь всякие AsyncReplyChannel

их я уже спрятал)

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

Но тут, возможно, уже акка понадобится :)

Привет!

Всем привет! Разбираюсь с f#, надеюсь скоро стать активным участником комьюнити

Всем привет! Разбираюсь с f#, надеюсь скоро стать активным участником комьюнити

В живых оставишь?

Типа Api

вот так запаковал: https://gist.github.com/kagetoki/8275d7656f3a5205a2b9c119f3aa15bd

Мейлбокс один у тебя?

нет же, пачка с циклическими зависимостями между собой

В смысле каждого типа

И циклические зависимости говорят о том, что что-то идет не так

каждого типа да, по одному

Ну вытащи апи для инициализации

Как минимум

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

Ну вытащи апи для инициализации

поясни плз

Ну смотри