Blame


1 12687dd9 2023-08-04 jrmu ;; The first three lines of this file were inserted by DrScheme. They record metadata
2 12687dd9 2023-08-04 jrmu ;; about the language level of this file in a form that our tools can easily process.
3 12687dd9 2023-08-04 jrmu #reader(lib "htdp-intermediate-reader.ss" "lang")((modname |23.1|) (read-case-sensitive #t) (teachpacks ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp")))))
4 12687dd9 2023-08-04 jrmu ;; make-even : N -> N[even]
5 12687dd9 2023-08-04 jrmu ;; to compute the i-th even number
6 12687dd9 2023-08-04 jrmu (define (make-even i)
7 12687dd9 2023-08-04 jrmu (* 2 i))
8 12687dd9 2023-08-04 jrmu
9 12687dd9 2023-08-04 jrmu ;; make-odd : N -> N[odd]
10 12687dd9 2023-08-04 jrmu ;; to compute the i-th odd number
11 12687dd9 2023-08-04 jrmu (define (make-odd i)
12 12687dd9 2023-08-04 jrmu (+ (* 2 i) 1))
13 12687dd9 2023-08-04 jrmu
14 12687dd9 2023-08-04 jrmu ;series-local : (N -> N) -> (N -> number)
15 12687dd9 2023-08-04 jrmu (define (series-local a-term)
16 12687dd9 2023-08-04 jrmu (local ((define (series n)
17 12687dd9 2023-08-04 jrmu (cond
18 12687dd9 2023-08-04 jrmu [(= n 0) (a-term n)]
19 12687dd9 2023-08-04 jrmu [else (+ (a-term n)
20 12687dd9 2023-08-04 jrmu (series (- n 1)))])))
21 12687dd9 2023-08-04 jrmu series))
22 12687dd9 2023-08-04 jrmu
23 12687dd9 2023-08-04 jrmu (define series-even (series-local make-even))
24 12687dd9 2023-08-04 jrmu (series-even 10)