XmacsLabs
/
planet
mirror of https://gitee.com/XmacsLabs/planet.git
1
0
Fork 0
Code

SICP 10: 使用S7 Scheme更新代码清单

This commit is contained in:
Darcy Shen 2024-05-15 10:31:53 +08:00
parent 79eb382485
commit a8150764c3
1 changed files with 187 additions and 163 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

350
SICP/code10.tm
View File

@ -1,56 +1,62 @@
<TeXmacs|2.1.2> <TeXmacs|2.1.2>
<style|<tuple|generic|no-page-numbers|british>> <style|<tuple|generic|no-page-numbers|british|s7>>
<\body> <\body>
<section*|Representing Sequences> <section*|Representing Sequences>
<\session|scheme|default> <\session|s7|default>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define one-through-four (list 1 2 3 4)) (define one-through-four (list 1 2 3 4))
<|unfolded-io> <|unfolded-io>
(1 2 3 4) (1 2 3 4)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(car one-through-four) (car one-through-four)
<|unfolded-io> <|unfolded-io>
1 1
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(cdr one-through-four) (cdr one-through-four)
<|unfolded-io> <|unfolded-io>
(2 3 4) (2 3 4)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(car (cdr one-through-four)) (car (cdr one-through-four))
<|unfolded-io> <|unfolded-io>
2 2
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(cons 10 one-through-four) (cons 10 one-through-four)
<|unfolded-io> <|unfolded-io>
(10 1 2 3 4) (10 1 2 3 4)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(cons 5 one-through-four) (cons 5 one-through-four)
<|unfolded-io> <|unfolded-io>
(5 1 2 3 4) (5 1 2 3 4)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
\;
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (list-ref items n) (define (list-ref items n)
\ \ (if (= n 0) \ \ (if (= n 0)
@ -62,25 +68,25 @@
list-ref list-ref
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define squares (list 1 4 9 16 25)) (define squares (list 1 4 9 16 25))
<|unfolded-io> <|unfolded-io>
(1 4 9 16 25) (1 4 9 16 25)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(list-ref squares 3) (list-ref squares 3)
<|unfolded-io> <|unfolded-io>
16 16
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (length items) (define (length items)
\ \ (if (null? items) \ \ (if (null? items)
@ -92,43 +98,41 @@
length length
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define odds (list 1 3 5 7)) (define odds (list 1 3 5 7))
<|unfolded-io> <|unfolded-io>
(1 3 5 7) (1 3 5 7)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(length odds) (length odds)
<|unfolded-io> <|unfolded-io>
4 4
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(append squares odds) (append squares odds)
<|unfolded-io> <|unfolded-io>
(1 4 9 16 25 1 3 5 7) (1 4 9 16 25 1 3 5 7)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(append odds squares) (append odds squares)
<|unfolded-io> <|unfolded-io>
(1 3 5 7 1 4 9 16 25) (1 3 5 7 1 4 9 16 25)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (scale-list items factor) (define (scale-list items factor)
\ \ (if (null? items) \ \ (if (null? items)
@ -142,25 +146,25 @@
scale-list scale-list
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(scale-list (list 1 2 3 4 5) 10) (scale-list (list 1 2 3 4 5) 10)
<|unfolded-io> <|unfolded-io>
(10 20 30 40 50) (10 20 30 40 50)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(map abs (list -10 2.5 -11.6 17)) (map abs (list -10 2.5 -11.6 17))
<|unfolded-io> <|unfolded-io>
(10 2.5 11.6 17) (10 2.5 11.6 17)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(map (lambda (x) (* x x)) (map (lambda (x) (* x x))
\ \ \ \ \ (list 1 2 3 4)) \ \ \ \ \ (list 1 2 3 4))
@ -168,15 +172,19 @@
(1 4 9 16) (1 4 9 16)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\input>
\<gtr\>\
<|input>
\; \;
</input> </input>
</session> </session>
<section*|Hierarchical Structures> <section*|Hierarchical Structures>
<\session|scheme|default> <\session|s7|default>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (count-leaves x) (define (count-leaves x)
\ \ (cond ((null? x) 0) \ \ \ (cond ((null? x) 0) \
@ -190,55 +198,57 @@
count-leaves count-leaves
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define x (cons (list 1 2) (list 3 4))) (define x (cons (list 1 2) (list 3 4)))
<|unfolded-io> <|unfolded-io>
((1 2) 3 4) ((1 2) 3 4)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(length x) (length x)
<|unfolded-io> <|unfolded-io>
3 3
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(count-leaves x) (count-leaves x)
<|unfolded-io> <|unfolded-io>
4 4
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(list x x) (list x x)
<|unfolded-io> <|unfolded-io>
(((1 2) 3 4) ((1 2) 3 4)) (((1 2) 3 4) ((1 2) 3 4))
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(length (list x x)) (length (list x x))
<|unfolded-io> <|unfolded-io>
2 2
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(count-leaves (list x x)) (count-leaves (list x x))
<|unfolded-io> <|unfolded-io>
8 8
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (scale-tree tree factor) (define (scale-tree tree factor)
\ \ (cond ((null? tree) ()) \ \ (cond ((null? tree) ())
@ -253,7 +263,9 @@
scale-tree scale-tree
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(scale-tree (list 1 (list 2 (list 3 4) 5) (list 6 7)) (scale-tree (list 1 (list 2 (list 3 4) 5) (list 6 7))
\ \ \ \ \ \ \ \ \ \ \ \ 10) \ \ \ \ \ \ \ \ \ \ \ \ 10)
@ -261,7 +273,9 @@
(10 (20 (30 40) 50) (60 70)) (10 (20 (30 40) 50) (60 70))
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\input>
\<gtr\>\
<|input>
\; \;
</input> </input>
</session> </session>
@ -270,26 +284,26 @@
<subsection*|Sequence Operations> <subsection*|Sequence Operations>
<\session|scheme|default> <\session|s7|default>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (square x) (* x x)) (define (square x) (* x x))
<|unfolded-io> <|unfolded-io>
square square
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(map square (list 1 2 3 4 5)) (map square (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
(1 4 9 16 25) (1 4 9 16 25)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (filter predicate sequence) (define (filter predicate sequence)
\ \ (cond ((null? sequence) ()) \ \ (cond ((null? sequence) ())
@ -305,21 +319,17 @@
filter filter
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(filter odd? (list 1 2 3 4 5)) (filter odd? (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
(1 3 5) (1 3 5)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
\;
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (accumulate op initial sequence) (define (accumulate op initial sequence)
\ \ (if (null? sequence) \ \ (if (null? sequence)
@ -333,31 +343,33 @@
accumulate accumulate
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(accumulate + 0 (list 1 2 3 4 5)) (accumulate + 0 (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
15 15
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(accumulate * 1 (list 1 2 3 4 5)) (accumulate * 1 (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
120 120
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(accumulate cons () (list 1 2 3 4 5)) (accumulate cons () (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
(1 2 3 4 5) (1 2 3 4 5)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (enumerate-interval low high) (define (enumerate-interval low high)
\ \ (if (\<gtr\> low high) \ \ (if (\<gtr\> low high)
@ -369,19 +381,17 @@
enumerate-interval enumerate-interval
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(enumerate-interval 2 7) (enumerate-interval 2 7)
<|unfolded-io> <|unfolded-io>
(2 3 4 5 6 7) (2 3 4 5 6 7)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (enumerate-tree tree) (define (enumerate-tree tree)
\ \ (cond ((null? tree) ()) \ \ (cond ((null? tree) ())
@ -396,25 +406,17 @@
enumerate-tree enumerate-tree
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(enumerate-tree (list 1 (list 2 (list 3 4)) 5)) (enumerate-tree (list 1 (list 2 (list 3 4)) 5))
<|unfolded-io> <|unfolded-io>
(1 2 3 4 5) (1 2 3 4 5)
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input>
</session>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (square x) (* x x))
<|unfolded-io> <|unfolded-io>
square
</unfolded-io>
<\unfolded-io|Scheme] >
(define (fib n) (define (fib n)
\ \ (cond ((= n 0) 0) \ \ (cond ((= n 0) 0)
@ -428,7 +430,9 @@
fib fib
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (list-fib-squares n) (define (list-fib-squares n)
\ \ (accumulate cons \ \ (accumulate cons
@ -445,13 +449,17 @@
list-fib-squares list-fib-squares
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(list-fib-squares 10) (list-fib-squares 10)
<|unfolded-io> <|unfolded-io>
(0 1 1 4 9 25 64 169 441 1156 3025) (0 1 1 4 9 25 64 169 441 1156 3025)
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (product-of-squares-of-odd-elements sequence) (define (product-of-squares-of-odd-elements sequence)
\ \ (accumulate * \ \ (accumulate *
@ -465,27 +473,35 @@
product-of-squares-of-odd-elements product-of-squares-of-odd-elements
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(product-of-squares-of-odd-elements (list 1 2 3 4 5)) (product-of-squares-of-odd-elements (list 1 2 3 4 5))
<|unfolded-io> <|unfolded-io>
225 225
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\input>
\<gtr\>\
<|input>
\; \;
</input> </input>
</session> </session>
<subsection*|Nested Mappings> <subsection*|Nested Mappings>
<\session|scheme|default> <\session|s7|default>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (square x) (* x x)) (define (square x) (* x x))
<|unfolded-io> <|unfolded-io>
square square
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (smallest-divisor n) (define (smallest-divisor n)
\ \ (find-divisor n 2)) \ \ (find-divisor n 2))
@ -493,7 +509,9 @@
smallest-divisor smallest-divisor
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (find-divisor n test-divisor) (define (find-divisor n test-divisor)
\ \ (cond ((\<gtr\> (square test-divisor) n) n) \ \ (cond ((\<gtr\> (square test-divisor) n) n)
@ -505,7 +523,9 @@
find-divisor find-divisor
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (divides? a b) (define (divides? a b)
\ \ (= (remainder b a) 0)) \ \ (= (remainder b a) 0))
@ -513,7 +533,9 @@
divides? divides?
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (prime? n) (define (prime? n)
\ \ (= n (smallest-divisor n))) \ \ (= n (smallest-divisor n)))
@ -521,15 +543,9 @@
prime? prime?
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
\;
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (flatmap proc seq) (define (flatmap proc seq)
\ \ (accumulate append () (map proc seq))) \ \ (accumulate append () (map proc seq)))
@ -537,7 +553,9 @@
flatmap flatmap
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (prime-sum? pair) (define (prime-sum? pair)
\ \ (prime? (+ (car pair) (cadr pair)))) \ \ (prime? (+ (car pair) (cadr pair))))
@ -545,7 +563,9 @@
prime-sum? prime-sum?
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (make-pair-sum pair) (define (make-pair-sum pair)
\ \ (list (car pair) (cadr pair) (+ (car pair) (cadr pair)))) \ \ (list (car pair) (cadr pair) (+ (car pair) (cadr pair))))
@ -553,7 +573,9 @@
make-pair-sum make-pair-sum
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (prime-sum-pairs n) (define (prime-sum-pairs n)
\ \ (map make-pair-sum \ \ (map make-pair-sum
@ -574,21 +596,17 @@
prime-sum-pairs prime-sum-pairs
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(prime-sum-pairs 4) (prime-sum-pairs 4)
<|unfolded-io> <|unfolded-io>
((2 1 3) (3 2 5) (4 1 5) (4 3 7)) ((2 1 3) (3 2 5) (4 1 5) (4 3 7))
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\unfolded-io>
\; \<gtr\>\
</input> <|unfolded-io>
</session>
\;
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define (remove item sequence) (define (remove item sequence)
\ \ (filter (lambda (x) (not (= x item))) \ \ (filter (lambda (x) (not (= x item)))
@ -598,7 +616,9 @@
remove remove
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(define (permutations s) (define (permutations s)
\ \ (if (null? s) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ ; empty set? \ \ (if (null? s) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ ; empty set?
@ -618,13 +638,17 @@
permutations permutations
</unfolded-io> </unfolded-io>
<\unfolded-io|Scheme] > <\unfolded-io>
\<gtr\>\
<|unfolded-io>
(permutations (list 1 2 3)) (permutations (list 1 2 3))
<|unfolded-io> <|unfolded-io>
((1 2 3) (1 3 2) (2 1 3) (2 3 1) (3 1 2) (3 2 1)) ((1 2 3) (1 3 2) (2 1 3) (2 3 1) (3 1 2) (3 2 1))
</unfolded-io> </unfolded-io>
<\input|Scheme] > <\input>
\<gtr\>\
<|input>
\; \;
</input> </input>
</session> </session>