Hi everyone - a slight change in plans: the meetup is moved to this THURSDAY - the first day of CEFP 2009.

Thanks,
Adam.

-----------------------------------------
Hi,

FP-BUD is the primary place for discussing functional programming in an easy-going, social setting. As announced earlier, the "main" monthly meetups will start off with a handful of short (10-15 minutes) presentations and continue onto a freeflow exchange of ideas, all in the midst of drinking your favourite beverage and having fun.

The following presentations are planned for the *MAY* meetup - and feel free to submit *your* presentation ideas as I reserved a spot or two...

I. ---------------------------------------
Permissive operators as a mechanism for language extensibility
by Diego Echeverri (IntelliFactory)

Abstract: We explore an extensibility mechanism for programming languages based on a subset of distfix(mixfix) operators. This mechanism gives tools to the programmer to increase conciseness by allowing him to build more complex operators via composition. We also show that some common features that
are usually "built-in's" can be constructed as "libraries" using these operators.

II. ---------------------------------------
Reverse Execution
by Ersoy Bayramoglu (IntelliFactory)

Abstract: Undo operation, mostly popularized by text editors, goes back to the ENIAC times. It has important uses in areas like debugging and error recovery. Since the pioneering Interlisp environment, different kinds of undos have been studied with different implementation methodologies. In this talk I will briefly summarize the previous work, and discuss various issues related to reverse excution of programs.

III. ---------------------------------------
EDSLs in Haskell
by Joel Bjornson (IntelliFactory)

Abstract: In this talk I will show how Haskell can be used as a platform for implementing Embedded Domain Specific Languages (EDSLs), utilising

* Generalized Algebraic Data Types (GADTs) for representing typed expressions
* Type Classes for overloading operators
* Monads for mimicing imperative constructs and adding syntactic sugar

IV. ---------------------------------------
TBD

See you there,
Adam.