Seminar - Extensible Records in Idris

Publication Date: 2017-10-24 15:02:12

26th October 2017
13h - Room E.4.7

Invited Speaker: Alberto Pardo - Instituto de Computación, Universidad de la República, Montevideo, Uruguay (

Abstract: Extensible records are records structures that can be dynamically extended with new fields. In some languages, extensible records are supported as a primitive, in others they are implemented as a user library, each alternative with its benefits and drawbacks. In this talk we present the main characteristics of a library to manipulate strongly-typed extensible records in Idris, a functional programming language with dependent types. Like HList, a Haskell library for extensible records, we use heterogeneous lists to represent our records, but now exploiting the power of dependent types.