Repository navigation
Row types are poorly explained #374
Description
The Row type description begins...
A row of types represents an unordered collection of named types, with duplicates.
That description is unclear. By process of elimination it appears the types are what is allowed to be duplicated while the labels, as keys, cannot be duplicated. Perhaps a more plain wording is as follows:
A row is an unordered list of labels with type identifiers: Set (Tuple Label Type)
Activity
natefaubion commentedon Feb 18, 2021
Set (Tuple Label Type)is not quite correct. It's more likeMap Label (NonEmptyList Type).Set (Tuple Label Type)implies the ordering relation between the types is undefined, but that's not the case; there is a cons ordering.natefaubion commentedon Feb 18, 2021
Probably more accurate, rows behave like scope.
gdennie commentedon Feb 18, 2021
I am still trying to find a succinct description... How about this?
With respect to scope, are you saying that Rows provide a context with values as oppose to providing a schema for data storage?