A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Variations on variants
2015
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015
Extensible variants improve the modularity and expressiveness of programming languages: they allow program functionality to be decomposed into independent blocks, and allow seamless extension of existing code with both new cases of existing data types and new operations over those data types. This paper considers three approaches to providing extensible variants in Haskell. Row typing is a long understood mechanism for typing extensible records and variants, but its adoption would require
doi:10.1145/2804302.2804320
dblp:conf/haskell/Morris15
fatcat:sbyjsd2xmjf3bc7wzlr3ybewga