FPU meeting Friday 11 June, 1-2pm, 4.04 ICT Building

[bjpop]

Presenter: Tom Schrijvers (K.U.Leuven, Belgium).

Topic: The Monad Zipper

Abstract:

Limitations of monad stacks get in the way of developing highly
modular programs with effects in Haskell. This talk demonstrates that
Haskell's abstraction tools are up to the challenge. Of course,
abstraction must be followed by clever instantiation: Huet's zipper
for the monad stack makes components jump through unanticipated hoops.

This is joint work with Bruno Oliveira (Seoul National University).

Here is a draft of the Monad Zipper paper:

http://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/monad_zipper_draft.pdf

We hope to see you there.

[Paul Bone]

If I recall correctly this has something to do with xmonad. Please correct me
if I'm wrong.

http://xmonad.org/

Thanks.

[Bernie Pope]

Not that I am aware of.

Xmonad is a window manager for X11 that happens to use a zipper data structure for managing focus.

Tom's paper and talk are about working with monad transformer stacks (composing monads).

(I can understand why you saw a connection because "monad" and "zipper" are used in both contexts).

Cheers,
Bernie.

[Paul Bone]

On Mon, Jun 07, 2010 at 05:30:37AM +0200, Tom Schrijvers wrote:
> > If I recall correctly this has something to do with xmonad.  Please correct me
> > if I'm wrong.
> >
> > http://xmonad.org/
>

> Hi Paul,
>
> I am not aware of any connection to xmonad, but I'd be very interested
> if you could point it out.
>

Now that I've looked closer it seems to be a case of name overloading. xmonad
uses a "Zipper data structure",

AFAIK it's not what your work is about. Sorry for the confusion.

http://en.wikipedia.org/wiki/Zipper_(data_structure)

[Bernie Pope]