27 Feb
2006
27 Feb
'06
12:03 p.m.
On Thu, Feb 23, 2006 at 11:33:27AM +0100, Jean-Philippe Bernardy wrote:
I must say however that the operator names are (c) Ross Paterson :)
The operator symbols are just ASCII versions of symbols that have been in use for some time, e.g. by Chris Okasaki.
We are planning to move to AVL trees for A. Hey, which do not provide a O(1) size function.
What will be gain for this move? And what will we lose, apart from O(1) size?