search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Stop using hedge algorithms #8

Closed treeowl closed 8 years ago

treeowl commented 8 years ago

The master branch of containers has switched from hedge algorithms to divide-and-conquer algorithms (often with pointer equality optimizations). These algorithms have recently been proven asymptotically optimal and my tests indicate that they're a good deal faster than the hedge algorithms. As an extra bonus, they're considerably simpler and harder to mess up. I suggest you use them here as well.

mokus0 commented 8 years ago

If I'm not mistaken, your pull request (which I just merged) fixes this. Thank you!