[Haskell-cafe] Fighting research paper bit-rot

[cheater cheater]

Hi guys,
after yet another episode of trying to figure out why library code
doesn't make any sense when reading the related paper, I decided to
start a small wiki just for the purpose of describing differences
between what's in the paper and what's in the code.

The first article can be found at:

http://functionalpapersupdated.wikia.com/wiki/Transactional_memory_with_data_invariants

This one was tricky: it was the "check" from stm-invariants.pdf. There
is a "check" in the STM library which is a completely different
function. The "check" from the paper is in another module and library
and is called "alwaysSucceeds".

Everyone's more than welcome to add their favourite papers and
describe the differences. The wiki is freely editable.

Hopefully it can, with time, grow to be of help to anyone trying to
learn about Haskell or category theory or functional programming in
general.

I can't promise a huge amount of updates on my side (I'm just a guy
learning how to use Haskell, not a researcher) but hopefully this
great community can make it happen :)

If you're a publishing author, and you know of such updates to your
papers, please consider starting a page for your paper. It's also a
good place to track the implementations of ideas described in such
papers, especially in case there are multiple ones or the
implementation hasn't been discussed in the paper itself.