I'm looking for an introduction to Row Polymorphism

I've not found any simple introductions or tutorial to Row Polymorphism theory and its applications via google. Can you all send me up some links or book titles to research. Note that I'm still a language design white-belt, so please aim for that audience if possible. Thank you kindly for your time!

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

A few links

You’ll want to look at Extensible Records with Scoped Labels (PDF) by Daan Leijen, as well as his Koka language. You can also look at one of my old articles, Why Concatenative Programming Matters, though I’m not really happy with it anymore. Also see the MLPolyR language and its discussion here on LtU.

Thanks! These seem to do the

Thanks! These seem to do the trick!