Comments on: Visitors from Sheffield
http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=16
abstracting the pain awayTue, 17 May 2011 07:05:56 +0100hourly1http://wordpress.org/?v=3.0.3By: Thorsten
http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=16#comment-4
ThorstenSun, 04 Dec 2005 12:25:30 +0000http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=16#comment-4I gave in to peer pressure too quickly, the way it was suggested to implement cobind for the stream comonad ([tex]C X = N \to X[/tex]) is incorrect, i.e. [tex] f^* g n = f g[/tex] doesn't work, because it doesn't satisfy the law [tex]\epsilon^* = 1[/tex]. The correct version is [tex]f^* g 0 = f g[/tex] and [tex] f^* g (1+ n) = f^* (g \circ 1+) n [/tex]. This is what I wanted to write...I gave in to peer pressure too quickly, the way it was suggested to implement cobind for the stream comonad () is incorrect, i.e. doesn’t work, because it doesn’t satisfy the law . The correct version is and . This is what I wanted to write…
]]>