On 04/13/2013 09:00 AM, Sam Tobin-Hochstadt wrote: > So I think we need to think harder about this, but I don't have a > great suggestion for fixing it at the moment. > > Anthony, for your use, you can probably use the encoding technique > described in the paper I linked to about data structures in TR.
(struct: (a) Leaf ((leaf : a)))
(struct: (a) Deep ((left : (Digit (U (Leaf a) (Node a))))
(spine : (Fingertree a))
(right : (Digit (U (Leaf a) (Node a))))))
(define-type (Fingertree a) (U Empty (Single a) (Deep a)))
:).
--
Anthony Carrico
signature.asc
Description: OpenPGP digital signature
____________________ Racket Users list: http://lists.racket-lang.org/users
