Это итерация на карте F # или заданный порядок обхода?

Question

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

Это в порядке обхода?

Answer 1

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

Answer 2

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

AVL деревья.

Это обход в порядке?

Да.