joshvera / effects

An implementation of "Freer Monads, More Extensible Effects".
Other
20 stars 5 forks source link

Benchmark FTCQueue against FastCatQueue #30

Open robrix opened 6 years ago

robrix commented 6 years ago

FTCQueue has worst-case constant-time >< & |> + amortized constant time tviewl. type-aligned also offers FastCatQueue with worst-case constant-time ><, |>, <|, and tviewl. We should benchmark them to see how they stack up in practice.

patrickt commented 6 years ago

@robrix I tried implementing this, but ran into type errors that defeated me. I have a sneaking suspicion that FTCQueue will still be faster, as FastCatQueue can be empty, so we'd have to check for the empty case to ensure sanity.