3 ms·
Modular Typechecking for Hierarchically Extensible Datatypes and Functions
- alrex021 16y agoThis is an awesome paper on language design that demonstrates support for open algebraic types and extensible functions, all with modular type checking. This is kind of a thing that could perhaps open the algebraic types in Haskell.