Monuses and Heaps (opens in new tab)

Lovely bag of tricks. Abstractly, representing differences seems to make a lot of problems easier / more general.

For more weird stuff, see eg. regular expression derivatives, differential dataflow.

What is the actual use case here, data structures for a specific problem or general purpose?

Curious what problem this is actually solving, the name gives nothing away.