Closed paf31 closed 7 years ago
Like we have builders for arrays, we should have one for records. This would make it more efficient to build records in type class instances based on things like RowList iteration.
RowList
Prototype: http://try.purescript.org/?backend=core&gist=27a137278caa203b3ebbd42f7386a0db
I'd like to investigate the use of linear types here as well, since I think they could improve things further.
Like we have builders for arrays, we should have one for records. This would make it more efficient to build records in type class instances based on things like
RowListiteration.Prototype: http://try.purescript.org/?backend=core&gist=27a137278caa203b3ebbd42f7386a0db
I'd like to investigate the use of linear types here as well, since I think they could improve things further.