Row polymorphism

A language with row types supports row polymorphism if one can quantify over the fields of a record, enabling the writing of programs which both

declare the fields of a record that they can use and change
promise to leave all other fields untouched - neither read nor written to

Language with row polymorphism

PureScript

Reference

A system with row types, row polymorphism, and a type inference algorithm is described in

Wand, Mitchell. ‘Type Inference for Record Concatenation and Multiple Inheritance’. Information and Computation 93, no. 1 (1991): 1–15. https://doi.org/10.1016/0890-5401(91)90050-C.

@article{wand_1991,
	title = {Type inference for record concatenation and multiple inheritance},
	volume = {93},
	doi = {10.1016/0890-5401(91)90050-C},
	pages = {1--15},
	number = {1},
	journaltitle = {Information and Computation},
	shortjournal = {Information and Computation},
	author = {Wand, Mitchell},
	date = {1991},
}