tag:blogger.com,1999:blog-10770855.post115515835744719984..comments2024-03-28T03:20:57.393-04:00Comments on The Little Calculist: Sigfpe explains comonadsDave Hermanhttp://www.blogger.com/profile/00405190527081772997noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-10770855.post-1161313129001110242006-10-19T22:58:00.000-04:002006-10-19T22:58:00.000-04:00Another application is zippers. A nice discussion...Another application is zippers. A nice discussion is found here:<BR/><BR/>http://cs.ioc.ee/~tarmo/tsem05/uustalu0812-slides.pdf<BR/><BR/>(I realize what I wrote about optimal evaluation makes no sense, but I can explain it in five minutes and you don't need to know anything about optimal evaluation to get it.)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-10770855.post-1161274432373888132006-10-19T12:13:00.000-04:002006-10-19T12:13:00.000-04:00One application of comonads is optimal evaluation....One application of comonads is optimal evaluation. If you look at the rules for boxes (which just mark structure that can be shared) you'll see that it forms a comonad.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-10770855.post-1155249197562230402006-08-10T18:33:00.000-04:002006-08-10T18:33:00.000-04:00Combine this and this and we should have a nice wa...Combine <A HREF="http://lambda-the-ultimate.org/node/1666" REL="nofollow">this</A> and <A HREF="http://calculist.blogspot.com/2006/08/stack-is-context-zipper.html" REL="nofollow">this</A> and we should have a nice way of looking at expressions through comonads.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-10770855.post-1155160326381093942006-08-09T17:52:00.000-04:002006-08-09T17:52:00.000-04:00sigpfe -> dan piponi (http://homepage.mac.com/sigf...sigpfe -> dan piponi (http://homepage.mac.com/sigfpe/)Anonymousnoreply@blogger.com