Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Conor McBride

LFCS Seminar: Conor McBride

— filed under:

Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)

What
  • LFCS Seminar
When Feb 26, 2013
from 04:00 PM to 05:00 PM
Where IF 4.31-4.33
Contact Name
Add event to calendar vCal
iCal
In 2007, Frank was a thought experiment in programming with effects and handlers, existing only on some acetate slides. It has a type system which clearly separates the parts of types which manage "being" from the parts which manage "doing". I implemented a typechecker and interpreter for Frank in the spring of 2012, an effort which helped me to resolve the separate treatment of effect and value polymorphism in the language. The latter is reassuringly conventional, but the former has a gentle subtlety to it. By communicating only local changes to the ambient abilities at a computation's disposal, Frank's types manage to be usefully polymorphic in effects without explicit quantification over them. I shall present the language and its type system, then demonstrate its functionality with some succinct but nontrivial examples.
Document Actions