Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 15:55 - 16:20 at L2 - Extended abstracts 2

While trying to understand Torsten Grust’s 2015 MPC keynote on comprehension syntax, and Jeremy Gibbons’s 2016 WadlerFest essay on ``Ringad Comprehensions'', and their relationship to Haskell’s Foldable typeclass, I arrived at the following characterisations:

A Functor f is Foldable iff Every Monoid instance a is an f-Algebra instance

A Monad f is a Ringad iff Every f-Algebra instance a is a Monoid instance

The first is (perhaps) folklore, and appears in Uustalu’s paper for the Oliveira Festschrift, but was independently rediscovered during my research. The second is, as far as I know, new. It is based on joint work with Jeremy Gibbons.

This talk will motivate, describe, and sketch the proof of these `dual’ characterisations.

Sun 3 Sep

tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
tyde-2017-papers150444690000015:55 - 16:20
Talk