JS
например, в Хаскеле apecs
Size: a a a
2020 November 10
VD
Оно по-моему слегка иррелевантно моему вопросу будет. У меня нет (пока) заморочек со списками возможностей а-ля ходит\летает. Мой вопрос скорее про структуру данных.
VD
Ну и вообще оригинальная проблема даже не про игру, просто её сильно дольше было б объяснять, а суть в принципе та же.
KV
Если набор комнат, а предметы\персонажи как часть комнат - неудобно будет обходить персонажей, потому что придется обходить все комнаты, а из них большая часть пустые.
Небось можно и так, и так одновременно
VD
Небось можно и так, и так одновременно
Тогда тоже появляется возможность сделать неконсистентное состояние. Типа в значении персонажа написано, что он в комнате А, а в значении комнаты А написано, что там нет никого. А комната Б считает, что персонаж в ней. А может еще какая-нибудь комната так тоже считает.
VD
Т.е. это по сути третий вариант с отдельными списками на всех и связь в виде айдишников у каждой сущности.
KV
Ну можно сделать апи такой, чтобы инварианты не нарушались, это же классическая задача в программировании
KV
Т.е. это по сути третий вариант с отдельными списками на всех и связь в виде айдишников у каждой сущности.
Не обязательно айдишники, можно прямо ссылаться
VD
Не можно, а прям нужно. Мне интересно можно ли такое сделать correct by construction и вот это вот всё.
KV
Вы уж определитесь, хотите быстро или корректно
VD
Не обязательно айдишники, можно прямо ссылаться
Если ссылаться прямо, то не получится ли такой прикол, когда ты меняешь комнату, взяв ее из персонажа, а у другого персонажа в этой же комнате остается старое значение комнаты? Ты ж копию будешь менять.
KV
Если ссылаться прямо, то не получится ли такой прикол, когда ты меняешь комнату, взяв ее из персонажа, а у другого персонажа в этой же комнате остается старое значение комнаты? Ты ж копию будешь менять.
Если мутабельность не ввозить, то да, есть такое
VD
Вы уж определитесь, хотите быстро или корректно
А можно всё сразу? :D Вообще это дискачевый вопрос.
Быстро вроде можно налепить на иорефах и апи с инвариантами. А можно ли сделать корректно + удобно и\или быстро при этом?
Быстро вроде можно налепить на иорефах и апи с инвариантами. А можно ли сделать корректно + удобно и\или быстро при этом?
KV
Нельзя, конечно
VD
Я это еще и потому спрашиваю, что вдруг есть какой-то четвертый\пятый\десятый вариант, про который я не в курсе.
AV
А можно всё сразу? :D Вообще это дискачевый вопрос.
Быстро вроде можно налепить на иорефах и апи с инвариантами. А можно ли сделать корректно + удобно и\или быстро при этом?
Быстро вроде можно налепить на иорефах и апи с инвариантами. А можно ли сделать корректно + удобно и\или быстро при этом?
на TVar
JS
Если предметы\персонажи и у них написано в какой комнате они сидят - неудобно комнаты обходить.
Если предметы\персонажи отдельно, комнаты отдельно - непонятно как выразить отношение "находится в".
Если предметы\персонажи отдельно, комнаты отдельно - непонятно как выразить отношение "находится в".
как в БД. отдельно коллекция комнат с айди. отдельно коллекция предметов с айди. отдельно коллекция "присутствий", то есть пар (айди комнаты, айди предмета), можно словарик
VD
как в БД. отдельно коллекция комнат с айди. отдельно коллекция предметов с айди. отдельно коллекция "присутствий", то есть пар (айди комнаты, айди предмета), можно словарик
О, и проблемы с неконсистентностью нет.
AV
можно ссылаться на несуществующую комнату
AV
Или несуществующий предмет