Polymorphic Extensible Records for Haskell

Benedict R. Gaster. Haskell Workshop 1997.


This paper describes an extension of Haskell that supports extensible records, with a full complement of polymorphic operations. It is a practical system which can be understood and implemented as a natural extension of Haskell. The proposed extensions have been implemented as part of the Hugs development system, and seem to work well in practice.