компайл тайме, что можно добавить ребро только для вершин которые уже есть в этом графе. Id узла достаточно сложная структура состоящая из пяти полей и списка.
Я не умею в зависимые типы, но смог изобразить решение только с ними.
В такой граф можно только добавлять (в моем случае этого достаточно) и он внутри с мутируемым стейтом.
Подскажите, может быть есть более подходящее/лучше решение такой задачки?
https://scastie.scala-lang.org/xXjQxN2fSjy4vCIRIlHY3Q
теоретически нужна прафильная струтура, аля формата HList + витнессы, чтобы можно было через имплиситы доказывать есть там или нет элемент с определнным id или нет
А где решение с завтипами?
Обсуждают сегодня