tag:blogger.com,1999:blog-11295132.post7234571425486412335..comments2017-02-21T17:40:03.412-08:00Comments on A Neighborhood of Infinity: Trace Diagrams with MonadsDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-3914952369464106552009-08-31T16:11:25.231-07:002009-08-31T16:11:25.231-07:00This is really cool!! Thanks for posting the link ...This is really cool!! Thanks for posting the link to my paper. I always think that trace diagrams should be more widely known.<br /><br />I've got a more accessible to trace diagrams on the way... will post here when I get it done.EBPhttp://www.blogger.com/profile/13792171797427916974noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-34059487737977568992009-05-23T14:12:36.292-07:002009-05-23T14:12:36.292-07:00I used LaTeX with TikZ to create the diagrams. Her...I used LaTeX with TikZ to create the diagrams. Here's a link to the source code: http://www.sigfpe.com/trace.tgz You'll need to install TikZ. I used the LaTeX Equation Editor to create the png files: http://evolve.lse.ac.uk/software/EquationEditor/<br /><br />Despite how good TikZ is, it was a painful process. I kept saying to myself, I'll never write again about something involving diagrams :-)<br /><br />The author of the paper I cite has written a tutorial on creating exactly this type of diagram: http://elishapeterson.wikidot.com/tikz:diagrams I didn't use it because I wanted to learn TikZ from scratch myself first.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-50452710315384395222009-05-23T11:55:44.237-07:002009-05-23T11:55:44.237-07:00Shin no Noir,
If you wait a bit (probably < 1 ...Shin no Noir,<br /><br />If you wait a bit (probably < 1 day) I'll post the LaTeX source code.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-45942230377743967012009-05-23T08:52:28.738-07:002009-05-23T08:52:28.738-07:00Btw sigfpe, I was wondering, what do you use to dr...Btw sigfpe, I was wondering, what do you use to draw these nice diagrams?Shin no Noirhttp://www.blogger.com/profile/08974372500960094990noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-2755546254980640502009-05-23T05:48:24.962-07:002009-05-23T05:48:24.962-07:00So far, a nice and mind blowing article (I've ...So far, a nice and mind blowing article (I've read up to the definition of cupcap so far). :)<br /><br />I just played around with the code and wrote a dot product function using cap:<br /><br />> dot v w = do<br />> (i,j) <- cap ()<br />> v' i<br />> w' j<br />> where v' = dual v<br />> w' = dual w<br /><br /><br />(Btw, there's a small typo in your digression: "cup and cup" should be "cup and cap".)Shin no Noirhttp://www.blogger.com/profile/08974372500960094990noreply@blogger.com