Builder API
Closed this issue · 0 comments
paf31 commented
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.
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.