Является ли итерация на карте F # или установлена ​​в порядке прохождения?

Question

AFAIK, F # Карта и набор реализованы как красно-черные деревья, поэтому я предполагаю, что итерация на них будет проходить по порядку. Я сделал несколько тестов, и результаты итерации всегда отсортированы. Но я хочу убедиться в этом.

Возможно ли его по очереди?

Answer 1

Документация по MSDN очень хороша для выяснения этого. Например, возвращаемое значение для Set.toSeq - «упорядоченная последовательность элементов набора». Похоже, ответ на ваш вопрос да, для обеих карт и множеств.

Answer 2

AFAIK, F # Карта и набор выполнены в виде красно-черных деревьев

AVL деревья.

Это проводное обход?

Да.