20 lines
652 B
Text
20 lines
652 B
Text
(define smerge
|
|
[X|Xs] [Y|Ys] -> [X | (freeze (smerge (thaw Xs) [Y|Ys]))] where (< X Y)
|
|
[X|Xs] [Y|Ys] -> [Y | (freeze (smerge [X|Xs] (thaw Ys)))] where (> X Y)
|
|
[X|Xs] [_|Ys] -> [X | (freeze (smerge (thaw Xs) (thaw Ys)))])
|
|
|
|
(define smerge3
|
|
Xs Ys Zs -> (smerge Xs (smerge Ys Zs)))
|
|
|
|
(define smap
|
|
F [S|Ss] -> [(F S)|(freeze (smap F (thaw Ss)))])
|
|
|
|
(set hamming [1 | (freeze (smerge3 (smap (* 2) (value hamming))
|
|
(smap (* 3) (value hamming))
|
|
(smap (* 5) (value hamming))))])
|
|
|
|
(define stake
|
|
_ 0 -> []
|
|
[S|Ss] N -> [S|(stake (thaw Ss) (1- N))])
|
|
|
|
(stake (value hamming) 20)
|