Scheme 函数式编程：基本符号

老刘1号

《函数程序设计算法》读书笔记。

简单值

#t
复制代码

#t
复制代码

#f
复制代码

#f
复制代码

#\M
复制代码

#\M
复制代码

#\newline
复制代码

#\newline
复制代码

#\nul
复制代码

#\nul
复制代码

"sample"
复制代码

"sample"
复制代码

"\"Hi\""
复制代码

""Hi""
复制代码

"\\A\\"
复制代码

"\A\"
复制代码

'midnight-blue
复制代码

'midnight-blue
复制代码

(quote midnight-blue)
复制代码

'midnight-blue
复制代码

算术函数

(+)
复制代码

0
复制代码

(+ 1 2 3 4 5)
复制代码

15
复制代码

(- 1)
复制代码

-1
复制代码

(- 2 1)
复制代码

1
复制代码

(- 1 2 3)
复制代码

-4
复制代码

(*)
复制代码

1
复制代码

(* 2 3 4)
复制代码

24
复制代码

3/1
复制代码

3
复制代码

(/ 3 1)
复制代码

3
复制代码

(/ 3 2)
复制代码

3/2
复制代码

(= 3/1 (/ 3 1))
复制代码

#t
复制代码

(/ 5)
复制代码

1/5
复制代码

(expt 3 4)
复制代码

81
复制代码

(expt 3 0)
复制代码

1
复制代码

(expt 0 0)
复制代码

1
复制代码

Lambda 表达式

(lambda (x y) 
  (/ (+ x y) 2))
复制代码

#<procedure>
复制代码

((lambda (x y) 
  (/ (+ x y) 2)) 3/5 11/3)
复制代码

32/15
复制代码

变元过程

(lambda nums
  (/ (apply + nums) (apply * nums)))
复制代码

#<procedure>
复制代码

((lambda nums
  (/ (apply + nums) (apply * nums))) 3 5 8 2 6)
复制代码

1/60
复制代码

(lambda nums
  (apply + 23 14 6 nums))
复制代码

#<procedure>
复制代码

((lambda (x y z . others)
  (* (+ x y z) (apply + others))) 1 2 3 3 4 5)
复制代码

72
复制代码

构造列表

(list 3 8 7)
复制代码

'(3 8 7)
复制代码

(list)
复制代码

'()
复制代码

返回多个值

values
复制代码

#<procedure:values>
复制代码

(lambda nums
  (values (apply + nums) (apply * nums)))
复制代码

#<procedure>
复制代码

((lambda nums
  (values (apply + nums) (apply * nums))) 1 2 3 4 5)
复制代码

15
复制代码

120
复制代码

(define delist (lambda (ls)
  (apply values ls)))
复制代码

(delist (list 1 2 3 4 5))
复制代码

1
复制代码

2
复制代码

3
复制代码

4
复制代码

5
复制代码

谓词

(even? 2)
复制代码

#t
复制代码

(even? 3)
复制代码

#f
复制代码

(< 3 4)
复制代码

#t
复制代码

(< 4 3)
复制代码

#f
复制代码

(values <= = > >=)
复制代码

#<procedure:<=>
复制代码

#<procedure:=>
复制代码

#<procedure:>>
复制代码

#<procedure:>=>
复制代码

(boolean? #f)
复制代码

#t
复制代码

(boolean? 0)
复制代码

#f
复制代码

(number? 0)
复制代码

#t
复制代码

(integer? 1)
复制代码

#t
复制代码

(integer? 1/2)
复制代码

#f
复制代码

(char? #\newline)
复制代码

#t
复制代码

(char? 'newline)
复制代码

#f
复制代码

(symbol? 'newline)
复制代码

#t
复制代码

(symbol? "newline")
复制代码

#f
复制代码

(string? "newline")
复制代码

#t
复制代码

(procedure? +)
复制代码

#t
复制代码

(procedure? (lambda (x) (+ x 1)))
复制代码

#t
复制代码

(equal? #t #t)
复制代码

#t
复制代码

(equal? + +)
复制代码

#t
复制代码

(equal? 3/1 3)
复制代码

#t
复制代码

(equal? (lambda (x) x) (lambda (x) x))
复制代码

#f
复制代码

(values zero? positive? negative? even? odd?)
复制代码

#<procedure:zero?>
复制代码

#<procedure:positive?>
复制代码

#<procedure:negative?>
复制代码

#<procedure:even?>
复制代码

#<procedure:odd?>
复制代码

条件类型表达式

(if (= (+ 1 1) 2) 'eq 'neq)
复制代码

'eq
复制代码

(if (= (+ 1 1) 3) 'eq 'neq)
复制代码

'neq
复制代码

(and #t #t)
复制代码

#t
复制代码

(and #t #f)
复制代码

#f
复制代码

(and #f #f)
复制代码

#f
复制代码

(or #t #t)
复制代码

#t
复制代码

(or #t #f)
复制代码

#t
复制代码

(or #f #f)
复制代码

#f
复制代码

(and (= (+ 1 1) 2) 'eq)
复制代码

'eq
复制代码

(and (= (+ 1 1) 3) 'eq)
复制代码

#f
复制代码

(or (= (+ 1 1) 2) 'eq)
复制代码

#t
复制代码

(or (= (+ 1 1) 3) 'neq)
复制代码

'neq
复制代码

定义

(define meg 1048576)
复制代码

(define inches-in-a-mile (* 12 5280))
复制代码

meg
复制代码

1048576
复制代码

inches-in-a-mile
复制代码

63360
复制代码

(define (arithmetic-mean x y)
  (/ (+ x y) 2))
复制代码

(arithmetic-mean 3 4)
复制代码

7/2
复制代码

(define lesser (lambda (l r)
                 (if (< l r) l r)))
复制代码

(lesser 3 4)
复制代码

3
复制代码

(lesser 4 3)
复制代码

3
复制代码

(lesser 3 4)
复制代码

3
复制代码

(define (multi-arg . args) args)
复制代码

(multi-arg 1 2 3)
复制代码

'(1 2 3)
复制代码

(define (multi-arg2 x y . args) (values (+ x y) args))
复制代码

(multi-arg2 3 4 5 6)
复制代码

7
复制代码

'(5 6)
复制代码

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))
复制代码

(factorial 5)
复制代码

120
复制代码

局部绑定

(let ((hours-in-a-day 24)
      (seconds-in-an-hour (* 60 60)))
  (* hours-in-a-day seconds-in-an-hour))
复制代码

86400
复制代码

(let ((double (lambda (x) (* x 2))))
  (* (double 7) (double 12)))
复制代码

336
复制代码