Question: what are compexity of map, ap and retract?

[safareli]

I'm interested in what's complexity of map, ap and retract. Is the implementation in spirit of https://www.eyrie.org/~zednenem/2013/05/27/freeapp which uses DList like optimisation?

[ethul]

It is timely that you bring this up. I have been working on a branch to test performance of using the DList optimization mention in that post compared to the current implementation. I should have an update on this soon!

…

On Sat, Nov 26, 2016 at 13:04 Irakli Safareli ***@***.***> wrote: I'm interested in what's complexity of map, ap and retract. Is the implementation in spirit of https://www.eyrie.org/~zednenem/2013/05/27/freeapp which uses DList like optimisation? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#7>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAVYy4G4Y9b0lc0m7NNtdcilW4ikfNVBks5rCHTLgaJpZM4K89Ds> .

[safareli]

I'm implementing Free Applicative in safareli/free#31, as I don't understand this implementation quite well, I wanted to know which one is better so that, I could base my port on that.

[ethul]

Awesome. Currently, I am not sure which implementation has better performance in JS, but I will post the results of my benchmarking. However it might be a few days before I will have a moment to do this.

…

On Sat, Nov 26, 2016 at 13:15 Irakli Safareli ***@***.***> wrote: I'm implementing Free Applicative in safareli/free#31 <safareli/free#31>, as I don't understand this implementation quite well, I wanted to know which one is better so that, I could base my port on that. — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#7 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAVYy_UXm5aOWBSouCd_Uo7Xw2SqLupCks5rCHdJgaJpZM4K89Ds> .

[ethul]

However, since the implementation is similar to the first one described in the post, the asymptotic performance is most likely as it is described there (O(n) for map and O(n^2+m) for ap). But I can expand on which one might better once I work more on the comparison.

…

On Sat, Nov 26, 2016 at 13:29 Eric Thul ***@***.***> wrote: Awesome. Currently, I am not sure which implementation has better performance in JS, but I will post the results of my benchmarking. However it might be a few days before I will have a moment to do this. On Sat, Nov 26, 2016 at 13:15 Irakli Safareli ***@***.***> wrote: I'm implementing Free Applicative in safareli/free#31 <safareli/free#31>, as I don't understand this implementation quite well, I wanted to know which one is better so that, I could base my port on that. — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#7 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAVYy_UXm5aOWBSouCd_Uo7Xw2SqLupCks5rCHdJgaJpZM4K89Ds> .

[ethul]

Added benchmarks in #9. Closing