Is there any particular reason for picking a left-leaning red-black tree over a regular red-black tree when trying to do a purely functional implementation?
I've not researched very deeply into this subject matter but I see that Okasaki's implementation is left-leaning, and just as Yamamoto's.
Left-leaning red-black trees are considered to be harmful, so I'd like to know the reason behind this, if any.
