[Haskell-cafe] costate

[Peter Padawitz]

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>