-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpart10.lisp
127 lines (77 loc) · 1.86 KB
/
part10.lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
;;1.
(setf x 'a
y 'b
z '(c d))
;;a
`(,z a z)
;;b
`(x ,y ,@z)
;;c
`((,@z ,x) z)
;;2. Определите if через cond.
(defmacro owr-if (a b &optional c)
`(cond (,a ,b)
(t ,c)))
(owr-if t t)
;;3. Определите макрос, аргументами которого являются число n
;; и следующие за ним произвольные выражение. Макрос должен
;; возвращать значение n-го выражение.
(defmacro nth-expr (n &body body)
`(case ,n
,@(let ((key 0))
(mapcar #'(lambda (exp)
`(,(incf key) ,exp))
body))))
(let ((n 2))
(nth-expr n (/ 1 0) (+ 1 2) (/ 1 0))) ;;=> 3
;;4. Определите ntimes (стр. 175), раскрывающуюся в (локальную) рекурсивную
;; фнкцию.
(defmacro n-times (n &body body)
(let ((gsym (gensym))
(gname (gensym)))
`(labels ((,gname (,gsym)
(unless (zerop ,gsym)
,@body
(,gname (1- ,gsym)))))
(,gname ,n))))
(let ((x 10))
(n-times x (setf x (+ x 1)))
x) ;;=> 20
;;5.
(defmacro n-of (n exp)
(let ((fname (gensym)) (fvar (gensym)))
`(labels ((,fname (,fvar)
(if (zerop ,fvar)
nil
(cons ,exp (,fname (1- ,fvar))))))
(,fname ,n))))
(let ((i 0) (n 4))
(n-of n (incf i))) ;;=> (1 2 3 4)
;;6.
(defmacro owr-let (varlst &body body)
`((lambda ,varlst ,@body) ,@varlst))
(setf x nil
y nil
z nil)
(owr-let (x y z)
(setf x t)
(setf y t)
(setf z t))
x ;;=> nil
y ;;=> nil
z ;;=> nil
;;7.
(defmacro opush (obj lst)
`(setf ,lst (cons ,obj ,lst)))
(setf x #(1 2 3))
(setf y #(1 2 3))
(setf i 0)
(setf j 0)
(push 1 (aref x (incf i))) ;; => (1 . 2)
(opush 1 (aref y (incf j))) ;; => (1 . 3)
;;8.
(define-modify-macro double ()
(lambda (var) (* var 2)))
(let ((x 4))
(double x)
x) ;;=> 8