add scheme apply, rename apply-> apply_env.
[mes.git] / test.mes
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; test.mes: This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ;;; GNU General Public License for more details.
17 ;;;
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 ;; The Maxwell Equations of Software -- John McCarthy page 13
22 ;; http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf
23
24 (display 123)
25
26 4
27 (newline)
28
29 (cons (display 'one-) (display 'two))
30 (newline)
31
32 (display 'hello-display-symbol)
33 (newline)
34
35 (display '(0 1 2))
36 (newline)
37
38 (display (- 12 3))
39 (newline)
40
41 (display (+ 3 4))
42
43 (newline)
44
45 (display 'and-0-1:)
46 (display (and 0 1))
47 (newline)
48 (display 'and-#f-2:)
49 (display (and #f 2))
50 (newline)
51
52 (display 'or-0-1:)
53 (display (or 0 1))
54 (newline)
55 (display 'or-#f-2:)
56 (display (or #f 2))
57 (newline)
58
59 (let ((p 5)
60        (q 6))
61       (display 'let-p:3-q:4)
62       (newline)
63       (display 'p:)
64       (display p)
65       (newline)
66       (display 'q:)
67       (display q)
68       (newline))
69
70
71 (display
72  (let ((p 5)
73        (q 6))
74    (display 'hallo)
75    (display p)
76    (display 'daar)
77    (display q)
78    (display 'dan)))
79
80 (newline)
81 (display 'let-dun)
82 (newline)
83
84 (define c 'b)
85 `(aa bb ,c)
86 (display `(pp qq ,c))
87 (newline)
88
89 (display
90  (let* ((aa 2)
91        (bb (+ aa 3))
92        #! boo !#
93        ;;(bb 4)
94        )
95    (display 'allo:)
96    bb))
97
98 (newline)
99 (display 'let*-dun)
100 (newline)
101 (map display '(1 2 3 4))
102 (newline)
103 (map (lambda (x) (display x) (newline)) '(5 6 7 8))
104 (newline)
105
106 (map (lambda (i a) (display i) (display ':) (display a) (newline)) '(1 2 3 4) '(a b c d))
107 (newline)
108
109 (define a 0)
110 (display 'a=0:)
111 (display a)
112 (newline)
113 (set! a 1)
114 (display 'a=1:)
115 (display a)
116 (newline)
117
118 (display
119  ((lambda (x)
120     (display 'x:)
121     (display x)
122     (newline)
123     (display 'setting-x=2)
124     (newline)
125     (set! x 2)
126     (display 'x:)
127     (display x)
128     (newline))
129   1))
130
131 (display (+ 11 12))
132 (newline)
133 (display (* 3 3))
134 (newline)
135 (display (/ 9 3))
136 (newline)
137 (display (= 3 '3))
138 (newline)
139
140 (display (if #t 'true))
141 (newline)
142 (display (if (eq? 0 '0) 'true 'false))
143 (newline)
144 (display (if (= 1 2) 'true 'false))
145 (newline)
146
147 (display 'factorial4=)
148 (display
149  (letrec ((factorial (lambda (n)
150                        ;; (display 'factorial:)
151                        ;; (display n)
152                        ;; (newline)
153                        (if (= n 1) 1
154                            (* n (factorial (- n 1)))))))
155    (factorial 4)))
156 (newline)
157
158 (define a 2)
159 (begin
160   (display 'a+3=)
161   (display (+ a 3)))
162 (newline)
163
164 " a b c"
165 (display "string me")
166 (newline)
167 (display (string-append "a" "b" "c"))
168 (newline)
169 (display (string-length (string-append "a" "b" "c")))
170 (newline)
171
172 #\m
173 (display #\m)
174 (newline)
175 (display #\101)
176 (newline)
177 (display #\newline)
178 (newline)
179 (display #\space)
180 (newline)
181
182 (display (string #\a #\space #\s #\t #\r #\i #\n #\g #\newline))
183 (newline)
184
185 (display "length of nil: ")
186 (display (length '()))
187 (newline)
188 (display "length of '(a b c): ")
189 (display (length '(a b c)))
190 (newline)
191
192 #(a b c)
193 (display #(0 1 2))
194 (newline)
195 (define v #("a" "b" "c"))
196 (display "vector?: ")
197 (display (vector? v))
198 (newline)
199 (display "length of ")
200 (display v)
201 (display ": ")
202 (display (vector-length v))
203 (newline)
204 (display "as list: ")
205 (define lv (vector->list v))
206 (display lv)
207 (newline)
208 (display "again as vector: ")
209 (display (list->vector lv))
210 (newline)
211
212 (display "(vector 0 1 2): ")
213 (display (vector 0 1 2))
214 (newline)
215
216 (display "v[1]: ")
217 (display (vector-ref v 1))
218 (newline)
219
220 (display "v[1]=q: ")
221 (vector-set! v 1 'q)
222 (display v)
223 (newline)
224
225 (display "memq a: ")
226 (display (memq 'a '(a b c)))
227 (newline)
228
229 (display "memq b: ")
230 (display (memq 'b '(a b c)))
231 (newline)
232
233 (display "memq c: ")
234 (display (memq 'c '(a b c)))
235 (newline)
236
237 (display "memq d: ")
238 (display (memq 'd '(a b c)))
239 (newline)
240
241 (display "plus: ")
242 (display (+ 1 1 1 1))
243 (newline)
244
245 (cond ((defined? 'loop2)
246        (display "mes:values broken after loop2")
247        (newline))
248       (#t
249        (values 0 1)
250        (display "(values 0 1): ")
251        (display (values 0 1))
252        (newline)
253
254        (display "call-with-values ==> 6: ")
255        (display
256         (call-with-values (lambda () (values 1 2 3))
257           (lambda (a b c) (+ a b c))))
258        (newline)
259        (display "call-with-values ==> 1: ")
260        (display ((lambda (x) x) (values 1 2 3)))
261        (newline)))
262
263 (display "(procedure? builtin?: ")
264 (display (procedure? builtin?))
265 (newline)
266
267 (display "(procedure? procedure?): ")
268 (display (procedure? procedure?))
269 (newline)
270
271 (define *gensym* 0)
272 (define (gensym)
273   (set! *gensym* (+ *gensym* 1))
274   (string->symbol (string-append "g" (number->string *gensym*))))
275
276 (display (gensym))
277 (newline)
278 (display (gensym))
279 (newline)
280 (display (gensym))
281 (newline)
282
283 '()