Language-integrated provenance in Haskell

The output of most programs is plain data -- an integer or text or something. If the output is wrong, it would be interesting for debugging purposes to trace how a particular output was generated, in order to figure out where exactly the program went wrong. This information is what people mean by the "provenience" of data.

https://en.wikipedia.org/wiki/Data_lineage

I see a similar idea about this with things like self-adjusting computations, excel and https://awelonblue.wordpress.com/category/language-design/re...

Should help the debugging process a lot.

It says it right there in the abstract. "Provenance" means "where it came from". This is about tracking where any given piece of data comes from.

I knew that. And it didn't explain anything. That's why I asked. As I said, the abstract sounds to me like an attempt to replace Integers with a tuple of a Interger and a DOI.