feat: add AVLSet implementation, unit tests and benchmarks by LeoN192 · Pull Request #17 · Lamagraph/QTreeFSharp

LeoN192 · 2026-05-08T19:27:14Z

No description provided.

gsvgit

Лучше явно разделить дерево и множество.

gsvgit · 2026-05-10T12:00:57Z

+
+    let value n =
+        match n with
+        | Empty -> failwith "Empty node has no value"


Посмотрите внимательнее. Мы стараемся не использовать failwith. Пользуемся result вместо этого.

А имеет ли смысл Result, если скрыть от пользователя модули Tree и Node? Для пользователя есть только модуль AVLSet, который гарантирует, что эти ошибки в принципе недостижимы (по аксиомам АВЛ-дерева) при вызове функций, иначе ошибка в логике. Все-таки у меня задача написать множество на основе дерева, а не само дерево.

gsvgit · 2026-05-10T12:02:17Z

+                balance ln rnNew v
+        | _ ->
+            match right with
+            | Empty -> failwith "Unreacheable message 2"


Не очень информативное сообщение.

Изменил их все на более информативные, но также оставил предложение, что эти сообщения в принципе не должны быть достижимы.

gsvgit · 2026-05-10T12:04:14Z

+            let mutable leftUnion = Empty
+            let mutable rightUnion = Empty
+
+            Parallel.Invoke(


Уверены, что через таски - лучший вариант?

Ну и в целом, посмотрите, как пространства имён в .net устроены. Например, на array.parallel

Переделал все на async. Разделил пространства

gsvgit · 2026-05-10T12:05:42Z

Да. Внятное описание к реквесту тоже не будет лишним.

LeoN192 · 2026-05-15T14:29:02Z

Теперь модули Tree и Node internal, а AVLSet public.
Удалил атрибут HardwareCounters.
Вынес в отдельное пространство и модуль параллельные операции (QuadTree.AVLSet.Parallel и ParallelAVLSet), а операции путем обхода дерева в отдельный подмодуль (Traversal).
Часть Unit-тестов превращена в Property-тесты (1 тест удален).
Сообщение в failwith сделал более информативными.
Теперь параллельные операции выполняются через Async, а не таски.

gsvgit

У Вас конфликты. И не надо липить сопоставление с образцом везде.

gsvgit · 2026-05-15T16:05:11Z

+
+    let value n =
+        match n with
+        | Empty -> failwith "Empty node has no value. This error should be unreachable"


Посмотрите на другой код в библиотеке. Мы не используем Failwith (стараемся, по крайней мере). Вместо этого --- Result

gsvgit · 2026-05-15T16:06:03Z

+        match n with
+        | Empty -> Node(0, value, Empty, Empty)
+        | Node(h, v, ln, rn) ->
+            match value with


Мне кажется, или это if?

gsvgit · 2026-05-15T16:07:12Z

+
+module ParallelAVLSet =
+    let rec unionAsync threads set1 set2 =
+        async {


А async точно быстрее? Почему его выбрали?

Нет, он не быстрее тасков, если говорить о работе с деревьями. Но он подходит больше для ФП стиля (без mutable), чем таски. Плюс у Async холодный старт. Поэтому и изменил

Видимо, вопрос в том, зачем именно Вы делали параллельную версию.

Сравнить производмтельность операций с разными реализациями. Параллельные гораздо быстрее

Было бы здорово добавить описание бенчмарок (примерно, как тут сделано). Ну и ссылку в основное ребми тоже. А в Вашем случае ещё и результаты замеров хотя бы в описании реквеста сделать.

LeoN192 · 2026-05-16T15:32:39Z

Теперь все модули публичные
Тип AVLTree теперь называется AVLSet
Удален модуль Node и все его функции-геттеры (кроме геттера высоты, он теперь в модуле Tree)
Функции вращения переделаны (теперь через паттерн-матчинг)
Удалены ненужные паттер-матчинги
Вместо failwith invalidArg (операции должны выбросить исключение, если пользователь передал бред)
minNode теперь возвращает Option<AVLSet<'A>, 'A>

LeoN192 · 2026-05-16T15:37:21Z

Насчет Result: Я не совсем понимаю необходимость в нем. Стандартные библиотеки в F# также выбрасывают исключение в случае передачи невалидных аргументов. А если я перепишу все на Result, то у меня буквально весь код и все операции превратятся в нагромождение Ok и Error, даже функция add будет это возвращать, хотя это не очень удбно для конвейера

gsvgit · 2026-05-18T12:07:12Z

Насчет Result: Я не совсем понимаю необходимость в нем. Стандартные библиотеки в F# также выбрасывают исключение в случае передачи невалидных аргументов. А если я перепишу все на Result, то у меня буквально весь код и все операции превратятся в нагромождение Ok и Error, даже функция add будет это возвращать, хотя это не очень удбно для конвейера

Необходимость в том, что это прототип и будет переписываться на языки, где исключений нет. А чтобы не было чуть проще жить, в основной ветке уже даже есть workflow соответствующий. Можете изучить, ребейзнуться и пользоваться.

- Encapsulate implementation by marking Node and Tree as internal. - Keep AVLSet module public as the primary API. - Implement InternalsVisibleTo to allow testing of internal structures. - Move parallel operations to a dedicated sub-module for better SoC. - Add FsCheck property-based tests for core set operations. - Fix and stabilize benchmarks.

…n matching, open modules, clean up redundant pattern matchings and replace them with if-else

LeoN192 · 2026-05-19T20:05:53Z

Удалил все исключения и заменил все на Result<AVLSet<'A>,AVLSetError>. Ну, и, соответственно, бенчмарки с тестами тоже
И ребейзнулся я тоже вроде как

gsvgit reviewed May 10, 2026

View reviewed changes

gsvgit requested changes May 15, 2026

View reviewed changes

LeoN192 force-pushed the avlset branch from e39d5bf to c49c8cf Compare May 16, 2026 15:51

LeoN192 added 5 commits May 19, 2026 22:48

feat: add AVLSet implementation, unit tests and benchmarks

ae9028e

format files

c8bead9

Refactor to AVLSet: remove Node module, simplify rotations via patter…

6a3bfb6

…n matching, open modules, clean up redundant pattern matchings and replace them with if-else

refactor: replace exceptions with Result type for error handling

593a5c8

LeoN192 force-pushed the avlset branch from c49c8cf to 593a5c8 Compare May 19, 2026 20:02

format files

bcaceae

Conversation

LeoN192 commented May 8, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

gsvgit left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

gsvgit commented May 10, 2026

Uh oh!

LeoN192 commented May 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

gsvgit left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

LeoN192 commented May 16, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

LeoN192 commented May 16, 2026

Uh oh!

gsvgit commented May 18, 2026

Uh oh!

LeoN192 commented May 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

LeoN192 commented May 8, 2026 •

edited

Loading

LeoN192 commented May 15, 2026 •

edited

Loading

LeoN192 commented May 16, 2026 •

edited

Loading

LeoN192 commented May 19, 2026 •

edited

Loading