You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
@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.
FTCQueue
has worst-case constant-time><
&|>
+ amortized constant timetviewl
.type-aligned
also offersFastCatQueue
with worst-case constant-time><
,|>
,<|
, andtviewl
. We should benchmark them to see how they stack up in practice.The text was updated successfully, but these errors were encountered: