Re: [Caml-list] [ANN] PEC ver. 1.1

["Daniel Bünzli" <daniel.buenzli@erratique.ch>]

Le jeudi, 19 avril 2012 à 12:31, Daniel Bünzli a écrit :

> While I'm not very fond of the sub/unscribe part I think it's an interesting implementation and may try, once I get some time, to adapt it to React to see what we can get from it (I also think that the resulting implementation could be much simpler).  
In fact, if I really understood what you are doing, I think there is a performance problem with your approach. Suppose we have the following configuration where L is a subscribed "leaf" event, that depends on N events that eventually lead to the primitive events P1 ... PN :  

L
| \  ... \
° °      °
|  \  ...  \
°  °       °
|   \  ...  \
... ...    ...
|    \        \  
P1 P2 ... PN

If P1 occurs then you start walking back from L, but you don't know where P1 is so you have to walk down every branch until you find P1 and then walk back from there up to L to make the update.

Contrast this with (weak) forward pointers: you just start from P1 and walk *once* up to L.

Is that correct ?  

Best,

Daniel