6 May
2015
6 May
'15
12:12 p.m.
On 6 May 2015 at 00:03, Alberto G. Corona
Thanks all of you.
So there is no trick that can make extensible records O(1) for field access, like the native haskell records?. I didn´t know that all the extensible records have O(n) or O(log n) at most.
In principle it's possible to get O(1) access for extensible records. It depends on how undelying data layout. It's obviously not possible to have O(1) if record is build from ordinary ADT but if if record internally is array it is possible. Of course downside is appending is O(n) in that case