Arrows
Peter Gammie (ANU)
LOGIC AND COMPUTATION SEMINARDATE: 2011-11-15
TIME: 15:30:00 - 16:30:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Arrows are a programming abstraction proposed by John Hughes in the late 1990s. Like monads, Arrows provide a way of structuring effectful programs. We will review the traditional motivations for Arrows, sketch how they relate to monads, discuss some of their limitations and show how they remain useful for describing information flow.
