Functional programming with effects: what works, what doesn't, how to improve

Add to your list(s) Download to your calendar using vCal

• Bram Geron (University of Birmingham, School of Computer Science)
• Tuesday 13 May 2014, 13:00-14:00
• CS 217.

If you have a question about this talk, please contact Neel Krishnaswami.

Functional languages like Haskell have been applied in many fields successfully. However, software (sub)components in many domains naturally take the form of effectful functions, which has lead to abstractions like monads that retain most of the character of functional programming.

I will explain how sets of effects are commonly introduced in pure languages using handlers, what works, and where the current abstractions fail to support the hybrid functional/imperative style. I will sketch how we can incorporate decades-old advances in imperative programming, while keeping the functional character. This will form the start of my research.

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• CS 217
• Lab Lunch

Note that ex-directory lists are not shown.