search

takikawa / tr-pfds

Typed Racket data structure libraries
58 stars 13 forks source link

implicit queue uses a pair of queues instead of a queue of pairs #4

Closed stchang closed 8 years ago

stchang commented 11 years ago

The implicit queue is implemented with a pair of queues, but Okasaki uses a queue of pairs. The former is much slower.

stchang commented 11 years ago

Okasaki's version requires polymorphic recursion, which Typed Racket does not currently support.