[Haskell-cafe] Fighting research paper bit-rot

[Patrick Mylund Nielsen]

Thanks, this had me pretty confused too. STM.check itself also differs from
in earlier versions of the library where it returned () or undefined.


On Fri, Dec 21, 2012 at 8:35 PM, cheater cheater <cheater00 at gmail.com>wrote:

> 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.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121221/53a118b2/attachment.htm>