
24 Nov
2005
24 Nov
'05
1:50 a.m.
Keean Schupke writes:
HList can do O(log n) by the way, if the labels have order, you can implement a binary search tree of labels (Of course all the accessor functions would need to be rewritten).
The idea of writing a type-level balanced binary search tree fills me
with an uncertain mixture of excitement and dread. Particularly if you
want to be able to compare records for equality.
--
David Menendez