Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @dthompson@toot.cat
dave@dthompson@toot.cat (2026-10-26 22:18:01)
The great thing about functional pearl papers is that they are short enough to be printed out so you can highlight and write notes on the pages and have it by your side while implementing.
---Reply---
dave@dthompson@toot.cat (2026-10-29 01:06:42)
something I realized last night: since diets are a sort of meta-tree that can delete nodes during insert (when the new interval overlaps or is adjacent to two existing intervals) and add nodes during deletion (when the interval to be deleted is a subset of an existing interval), that means that both operations need to incorporate the red-black tree insertion and deletion algorithms.

---Replies---

dave@dthompson@toot.cat (2026-10-29 10:26:57)
okay I seem to have a successful fusion of diets and red-black trees. let's call them "balanced diets".