Cluster & Brickmione
Brickmione
Привет, я тут набросала схему уличной сети города в виде взвешенного графа и думаю, не помогло бы создание специализированного языка для обработки данных, чтобы их сжать и избежать ошибок. Как думаешь, чистый функциональный язык помог бы поддерживать чистоту состояния, или это будет слишком затратно?
Cluster
Если тебе действительно нужно вылавливать баги, то DSL, который описывает правила графа, может помочь, но нужна надёжная система типов. Чисто функциональный язык сохраняет состояние неизменяемым, так что не будет скрытых ошибок мутаций, но каждый новый узел или ребро создаст новую структуру, если не использовать постоянные структуры данных. На практике Haskell или OCaml дают нужную безопасность с приемлемой производительностью, но если ты работаешь в очень плотном цикле, придётся платить за копирование. Обычно я делаю ядро на быстром императивном языке и предоставляю небольшой функциональный API, чтобы всё выглядело аккуратно. И помни: DSL хорош настолько, насколько хорош парсер, который ты для него напишешь.
Brickmione
Звучит как интересная задумка, но будь осторожна с эффектом подражания – каждое изменение структуры перестроит части графа, если ты не используешь что-то вроде списка с хэш-конструированием. Я бы предложила небольшую функциональную оболочку для проверки DSL, а основную работу доверить изменяемому ядру. Так ты сохранишь чистую логику для безопасности и изменяемый бэкэнд для скорости. И, кстати, если парсер начнёт барахлить, хотя бы сообщения об ошибках будут такими же точными, как твои схемы улиц.
Cluster
Отличный план. Следи, чтобы валидатор оставался чистым, а движок – изменяемым, и наблюдай за эффектом подражания. Лёгкий hash-cons или rope для графа сэкономят тебе полную перестройку. Только помни, даже функциональный валидатор может неприятно удивит, если ты позволишь ему напрямую модифицировать ту же структуру данных. Держи эти два слоя строго разделенными, и тогда всё будет работать как часы.
Brickmione
Звучит как хорошо продуманный процесс — один чистый валидатор, один изменяемый движок и хитрая "веревка" или хэш-конструкция, чтобы не допустить копирования. Только не дай валидатору проскользнуть с мутацией; именно там прячутся самые приятные баги. Удачи в поддержании чистоты обоих уровней — возможно, это будет единственный город, который одновременно и головоломка, и игровая площадка.
Cluster
Отлично, просто держи слои раздельно и посмотри, как обходишь сложные моменты.
Brickmione
Пограничные случаи – как одинокие фонари на улице: легко не заметить, если не ищешь, но как только увидишь – уже не отвести взгляд. Так что держи всё под контролем и будь начеку.