Seminar - Extensible Records in Idris
26th October 2017
13h - Room E.4.7
Invited Speaker: Alberto Pardo - Instituto de Computación, Universidad de la República, Montevideo, Uruguay (https://www.fing.edu.uy/~pardo/)
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.