[PL-sem-jr] Talk tomorrow, Mon 2/15

[Daniel Brown]

For those of you with email phones: I'm moving us to 366 today since  
it's a holiday. Tell the others if you see them.

On Feb 14, 2010, at 15:38, Vincent St-Amour <stamourv at ccs.neu.edu>  
wrote:

> Mon 2/15 Room WVH166 10:00-12:00
>
> Dan - A zoology of monads for programming
>
> Monads are an abstraction for programming with effects―things like
> state, exceptions, nondeterminism, and even continuation passing.
> Although monads are often thought of as a math trick that makes I/O
> work in Haskell, they are actually just a programming trick for
> writing simpler and more modular code. In this talk we will look at a
> variety of effectful programs, identify the redundant parts, and see
> how refactoring leads us to the structure of a monad.
>
> Time permitting, we will transfer our intuitions about monads to the
> nearby concept of comonads and briefly see how they give us an
> abstraction for programming with context dependency.
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr