Эффективность с функциональной парадигмой

Question

Поскольку функциональный код по определению избегает изменчивости, насколько это возможно, можно написать программу с сохранением состояния, разворачивая состояние из предыдущего с течением времени. Итак, я пишу игру в F # исключительно в функциональном стиле, и, конечно, игры, как правило, имеют много и много состояний. Я по существу использую записи для игровых объектов (например, игроков), и я просто сопоставляю все эти состояния, чтобы получить следующее состояние. Это работает очень хорошо. Но, поскольку моя игра становится все сложнее и сложнее, я волнуюсь, что она станет вялой из-за того, что копирует каждое обновление. Мне интересно, как я могу попытаться избежать этих подводных камней в будущем (не так сейчас, так как это пока не очень проблема).

Значит, существуют ли существенные оптимизации в функциональном стиле, которые F # не делает для меня, в частности, связанные с копированием больших фрагментов данных, когда могут быть изменены только небольшие части? Кроме того, есть ли что-то, что F # имеет, что я могу использовать в своих интересах таким же образом?

Еще одна вещь - вот мои две основные проблемы, которые могут быть даже неправдой. Я бы хотел, чтобы они были выпрямлены:

1. Сбор мусора. Поскольку я в конечном итоге копирую тысячи записей в секунду, должно быть огромное количество генерации объектов, все из которых крайне недолговечны, так как я просто выбрасываю старое состояние. Это кажется вероятной причиной коротких, но едва заметных прыжков в игре каждую секунду или около того.

2. Является ли F # эффективным при копировании записей со всеми, кроме нескольких полей, обновленных? Если это не так, как я могу улучшить эффективность самостоятельно?

Answer 1

Так есть ли какие-либо значительные оптимизации, используемые в функциональном стиле, что F # не делает для меня, в частности, связанные с копированием больших блоков данных, когда только небольшие участки могут быть изменены?

Действительно ли вы копируете «большие куски данных»?

Как правило, преимущество неизменных структур данных заключается в том, что их не нужно копировать. Например, если у вас есть функциональная карта, вы можете «обновить» некоторые данные, но большинство данных остаются нетронутыми и разделяются между старой и новой картой, а также большей частью самой карты.