Monuses and Heaps (doisinkidney.com)

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.

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

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