1
2
3
(define zero (lambda (f) (lambda (x) x)))
 
(display zero)

1
2
3
(define zero (lambda (f) (lambda (x) x)))
 
(zero)

1
2
3
4
5
6
7
8
9
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(define one
  (lambda (f) (lambda (x) (f x))))
 
(define two
  (lambda (f) (lambda (x) (f (f x)))))
 ...

1
2
3
4
5
6
7
8
;given definitions
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
; exercise 2.6: define one and two directly -
; not in terms of zero or add-1
(define one
  (lambda (f) (lambda (x) (f x))))
 ...

1
2
3
4
5
6
7
(define (cn-to-int cn) (cn (lambda (x) (+ x 1)) 0))
 
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(display (cn-to-int (zero)))

1
2
3
4
5
6
7
(define (cn-to-int cn) (cn (lambda (x) (+ x 1)) 0))
 
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(display (cn-to-int zero))

1
2
3
4
5
6
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(newline)
(display (add-1 (zero)))

1
2
3
4
5
6
7
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(display "test")
(newline)
(display (add-1 zero))

1
2
3
4
5
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(add-1 zero)

1
2
3
4
5
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))
 
(display (add-1 zero))

1
2
(define (zero) (lambda (f) (lambda (x) x)))
(display (_ zero))

1
2
(define (zero) (lambda (f) (lambda (x) x)))
(display (zero))

1
2
(define (zero) (lambda (f) (lambda (x) x)))
(display (zero 0))

1
(define a (list 1 2 3 4 5))

1
(+ 1 2)

1
2
3
4
5
6
7
8
                (let ((A 1))
                        (let ((A 2)
                                        (B A))
                        B
                        
                        (let ((output (lambda() (display B)(newline)))) (output))
                        )
                )

1
2
3
4
(let ((A 1))
        (let ((A 2)
                (B A))
        display B))

1
2
3
4
(let ((A 1))
        (let ((A 2)
                (B A))
        B))

1
2
3
4
5
6
7
8
9
(define A
    (lambda()
        (let* ((x 2)
            (C (lambda (P)
                (let ((x 4))
                    (P))))
            (D (lambda ()
                x))
            (B (lambda ()
 ...

1
(+ 2 3)

1
(prin1 'qwe')

1
2
3
(let ([double-any (lambda (f x) (f x x))])
  (list (double-any + 13)
        (double-any cons 'a)))

1
2
(let ((fx (lambda f x) (f x x)))
    (fx * 5))

1
2
(let ([fx (lambda f x) (f x x)])
    (fx * 5))

1
2
(let ([fx (lambda f x) (f x x)]))
    (fx * 5))

1
2
(let ([fx (lambda f x) (f x x)])
    (fx * 5))

1
(let ([fx (lambda f x) (f x x)]))

1
(let ([fx (lambda (f x) (f x x))]))

1
(let ([fx (lambda (f x) (f x x))])

1
2
3
(let ([fx (lambda (f x) (f x x))])
 
(fx * 5)