Explanation for Purely Functional Data Structure (C. Okasaki) Exercise 3.9

1. PFDS EX. 3.9
@shtaag
2011 12 17

2. BASED ON HINZE’S WORK
http://t.co/P3SiwhRE
2011 12 17

3. FROMORDLIST
• list RedBlackTree
2011 12 17

4. Z
Y
Y
X Z
X
Key
...
2011 12 17

5. 2
2011 12 17

6. PENNANT
rank = 2
• Node
• rank r pennant 2r Node
2011 12 17

7. EXPRESSION WITH
PENNANTS
2011 12 17

8. EXPRESSION WITH
PENNANTS
※ 0,1 1,2
2011 12 17

9. EXPRESSION WITH
PENNANTS
=
(22)2
=
(21 x 2, 20 x 2)2
2011 12 17

10. (21 {N})
(23 x 2, 22 x 1, 21 x 1, 20 x 1)
2011 12 17

11. 2011 12 17

12. s1 + 1 = s2, s2 + 1 = (s + 1)1
2011 12 17

13. 2011 12 17