F # Неизменяемая структура данных окна переменного размера
Ниже приведено описание нужной мне структуры данных, и я хочу реализовать ее с использованием неизменных структур данных. Я пытаюсь определить ... существует ли существующая структура данных, которая будет поддерживать то, что я пытаюсь сделать здесь, или мне нужно ее создать - и если мне нужно ее создать, что было бы хорошо место для начала (строительные блоки)?
У меня есть постоянный поток входящих значений определенного типа. Я хочу добавить их в постоянную / неизменную структуру данных для хранения истории их, и при каждом добавлении он будет просматривать историю и определять, будет ли удален один или несколько самых старых элементов (например, если история> a определенная длина или значение имеет определенное свойство).