тоже да. у тебя есть идея решения, и ты ищешь правильные слова, так?
Что-то вроде того. Последний раз вроде тут было мимоходом "как зовется data MyType' f = MyType' { foo :: f String, ... }; type MyType = MyType' Identity. Как бы такое у гугла спросить - без понятия.
Вот например у меня есть игра типа данжер кравлера. Если упрощенно - там мир это набор комнат и предметов\персонажей, которые могут в этих комнатах находится. Как правильно определить тип состояния мира.
Если набор комнат, а предметы\персонажи как часть комнат - неудобно будет обходить персонажей, потому что придется обходить все комнаты, а из них большая часть пустые.
Вот например у меня есть игра типа данжер кравлера. Если упрощенно - там мир это набор комнат и предметов\персонажей, которые могут в этих комнатах находится. Как правильно определить тип состояния мира.
тут вообще одного правильного ответа нет, надо собирать мнения у разработчиков игр
Если предметы\персонажи и у них написано в какой комнате они сидят - неудобно комнаты обходить. Если предметы\персонажи отдельно, комнаты отдельно - непонятно как выразить отношение "находится в".