Record Oriented Programming
Stc
ComputingScienceColloquium
Date: March 4
Time: 11:00
Room: Unnik 201
Speaker: Daan Leijen
Title: Record-oriented programming
Abstract
I have recently started a project to investigate programming
with first-class records. As there is too much to say about
this topic in a single talk, I will talk specifically about
first-class, extensible records with first-class labels. We
will see that adding first-class labels is not a trivial extension
and adds a new kind of predicate to the type system. If time
permits, I will also discuss how row-polymorphic records and
variants can model first-class patterns (and can thus be used
to implement views).
