[Pl-seminar] Tomorrow: Gabriel Scherer, New language ideas for user-defined side-effects: algebraic effect handlers

[William J. Bowman]

Reminder: Talk tomorrow!

On Thu, May 12, 2016 at 11:24:35AM -0400, William J. Bowman wrote:
> Reminder: Talk next Wednesday!
> 
> --
> William J. Bowman
> 
> > NUPRL Seminar presents
> > 
> > Gabriel Scherer
> > Northeastern University
> > 
> > 11:45--13:25
> > Wednesday May 18, 2016
> > Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> > Host: Gabriel Scherer
> > 
> > 
> > New language ideas for user-defined side-effects: algebraic effect handlers
> > 
> > Abstract:
> > This talk reports on some cool ideas I learned during a week-long
> > seminar in Dagstuhl last month; it will present other people's work,
> > not my own. It is aimed at an audience interested in programming
> > language design in general, but not familiar with the theoretical
> > treatment of pure languages and side-effects.
> > 
> > We shall start with *demos* first, explaining short code examples in
> > three programming languages: ML with exceptions as a warmup, then the
> > new language 'Eff' of Matija Pretnar and Andrej Bauer, that first
> > implemented so-called effect handlers, and finally the language
> > 'Frank' of Conor McBride, that integrates these handlers in a more
> > uniform style of "effectful call-by-value programming".
> > 
> > Only second will we discuss some *theory*, in an accessible way:
> > monads and algebraic effects, which are two distinct ways to formalize
> > side-effects, and the difference between "direct" and "indirect" style
> > of effectful programming.
> > 
> > Underlying this talk are two larger, important questions of
> > programming language design, that will be touched during the talk and
> > we can discuss further afterwards:
> > - Do programming language need a facility for user-defined side-effects?
> > - When should we encode new design ideas as libraries/macros in an
> >   expressive language, and when should we design languages afresh for
> >   them?
> > 
> > 
> > Bio:
> > Gabriel is interested in theoretical aspects of type systems,
> > programming language implementation, general programming language
> > concepts, and even some syntactic aspects. He has a preference for the
> > formalizable aspects, or formalizable approaches to programming
> > language aspects, rather than the often subjective appeal to taste or
> > intuition.



> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-seminar/attachments/20160517/b3a0e00d/attachment.pgp>