[Haskell-cafe] costate

Peter Padawitz peter.padawitz at udo.edu
Thu Dec 31 03:03:02 UTC 2015

When is cobinding in the costate/funarg/incontext comonad (c -> a,c) (see papers by Kieburtz, Uustalu, Vene, Orchard, Mycroft, …) preferable to (better-known) currying?

f <<= (g,x) is equivalent to (curry f g,x) !

HNY, Peter

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151231/06a14914/attachment.html>

More information about the Haskell-Cafe mailing list