Blogs (28) >>
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

Displayed time zone: Belfast change

15:30 - 16:20
Extended abstracts 2TyDe at L2
15:30
25m
Talk
Affine killing
TyDe
Kiko Fernandez-Reyes Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern
15:55
25m
Talk
On ringads and foldables
TyDe
James McKinna University of Edinburgh