Comments on: Reflecting On Incremental Folds http://comonad.com/reader/2009/incremental-folds/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 By: Leon P Smith http://comonad.com/reader/2009/incremental-folds/comment-page-1/#comment-6944 Leon P Smith Thu, 02 Apr 2009 02:54:25 +0000 http://comonad.com/reader/2009/incremental-folds/#comment-6944 Oh wait, different definition of incremental. I'm now recalling Sean's blog post from before. In any case, everything else I said is correct. Oh wait, different definition of incremental. I’m now recalling Sean’s blog post from before. In any case, everything else I said is correct.

]]> By: Leon P Smith http://comonad.com/reader/2009/incremental-folds/comment-page-1/#comment-6943 Leon P Smith Thu, 02 Apr 2009 02:04:41 +0000 http://comonad.com/reader/2009/incremental-folds/#comment-6943 Interesting, I'm going to read this in little pieces and try to digest it throughly. By the way, there is some (limited) discussion of incremental folds in a draft paper on my blog, which I think you'll be amused by. I was impressed enough with your old blog to blogroll it! Take care! Interesting, I’m going to read this in little pieces and try to digest it throughly.

By the way, there is some (limited) discussion of incremental folds in a draft paper on my blog, which I think you’ll be amused by. I was impressed enough with your old blog to blogroll it!

Take care!

]]> By: Sean http://comonad.com/reader/2009/incremental-folds/comment-page-1/#comment-6937 Sean Wed, 01 Apr 2009 16:20:40 +0000 http://comonad.com/reader/2009/incremental-folds/#comment-6937 Very nice! Thanks for the write-up. Your fixed-point extended by the result type is very similar to how I implemented this using <a href="http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec" rel="nofollow">multirec</a>. I still need to absorb the latter part. Very nice! Thanks for the write-up.

Your fixed-point extended by the result type is very similar to how I implemented this using multirec.

I still need to absorb the latter part.

]]>