mes: #<eof> is not a character.
[mes.git] / module / mes / scm.mes
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016,2017,2018 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; 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 ;;; Commentary:
22
23 ;;; scm.mes is loaded after base, quasiquote and let.  It provides
24 ;;; basic Scheme functions bringing Mes close to basic RRS Scheme (no
25 ;;; labels, processes, fluids or throw/catch).
26
27 ;;; Code:
28
29 (mes-use-module (mes let))
30
31 (define (cadddr x) (car (cdddr x)))
32
33 (define-macro (case val . args)
34   (if (null? args) #f
35       (let ((clause (car args)))
36         (let ((pred (car clause)))
37           (let ((body (cdr clause)))
38            (if (pair? pred) `(if ,(if (null? (cdr pred))
39                                       `(eq? ,val ',(car pred))
40                                       `(member ,val ',pred))
41                                  (begin ,@body)
42                                  (case ,val ,@(cdr args)))
43                `(begin ,@body)))))))
44
45 (define-macro (when expr . body)
46   `(if ,expr
47        ((lambda () ,@body))))
48
49 (define-macro (unless expr . body)
50   `(if (not ,expr)
51        ((lambda () ,@body))))
52
53 (define-macro (do init test . body)
54   `(let loop ((,(caar init) ,(cadar init)))
55      (when (not ,@test)
56        ,@body
57        (loop ,@(cddar init)))))
58
59 (define (for-each f l . r)
60   (if (pair? l) (if (null? r) (begin (f (car l)) (for-each f (cdr l)))
61                     (if (null? (cdr r)) (begin (f (car l) (caar r)) (for-each f (cdr l) (cdar r)))))))
62
63 (define core:error error)
64
65 (define (error who . rest)
66   (display "error:" (current-error-port))
67   (display who (current-error-port))
68   (display ":" (current-error-port))
69   (display rest (current-error-port))
70   (newline (current-error-port))
71   (display "exiting...\n" (current-error-port))
72   (core:error (if (symbol? who) who 'error) (cons who rest)))
73
74 (define (syntax-error message . rest)
75   (display "syntax-error:" (current-error-port))
76   (display message (current-error-port))
77   (display ":" (current-error-port))
78   (display rest (current-error-port))
79   (newline (current-error-port))
80   (core:error 'syntax-error (cons message rest)))
81
82 \f
83 (define integer? number?)
84
85 (if (not (defined? 'peek-char))
86     (define (peek-char)
87       (integer->char (peek-byte))))
88
89 (if (not (defined? 'read-char))
90     (define (read-char)
91       (integer->char (read-byte))))
92
93 (if (not (defined? 'unread-char))
94     (define (unread-char c)
95       (integer->char (unread-byte (char->integer c)))))
96
97 (define (assq-set! alist key val)
98   (let ((entry (assq key alist)))
99     (if (not entry) (acons key val alist)
100         (let ((entry (set-cdr! entry val)))
101           alist))))
102
103 (define (assq-ref alist key)
104   (let ((entry (assq key alist)))
105     (if entry (cdr entry)
106         #f)))
107
108 (define assv assq)
109 (define assv-ref assq-ref)
110
111 (define (assoc key alist)
112   (if (null? alist) #f ;; IF
113       (if (equal? key (caar alist)) (car alist)
114           (assoc key (cdr alist)))))
115
116 (define (assoc-ref alist key)
117   (let ((entry (assoc key alist)))
118     (if entry (cdr entry)
119         #f)))
120
121 (define (assoc-set! alist key value)
122   (let ((entry (assoc key alist)))
123     (if (not entry) (acons key value alist)
124         (let ((entry (set-cdr! entry value)))
125           alist))))
126
127 (define (memq x lst)
128   (if (null? lst) #f ;; IF
129       (if (eq? x (car lst)) lst
130           (memq x (cdr lst)))))
131 (define memv memq)
132
133 (define (member x lst)
134   (if (null? lst) #f ;; IF
135       (if (equal? x (car lst)) lst
136           (member x (cdr lst)))))
137
138 \f
139 ;;; Lists
140 (define (make-list n . x)
141   (let ((fill (if (pair? x) (car x) *unspecified*)))
142     (let loop ((n n))
143       (if (= 0 n) '()
144           (cons fill (loop (- n 1)))))))
145
146 (define (list-ref lst k)
147   (let loop ((lst lst) (k k))
148     (if (= 0 k) (car lst)
149         (loop (cdr lst) (- k 1)))))
150
151 (define (list-set! lst k v)
152   (let loop ((lst lst) (k k))
153     (if (= 0 k) (set-car! lst v)
154         (loop (cdr lst) (- k 1)))))
155
156 (define (list-head x n)
157   (if (= 0 n) '()
158       (cons (car x) (list-head (cdr x) (- n 1)))))
159
160 (define (list-tail x n)
161   (if (= 0 n) x
162       (list-tail (cdr x) (- n 1))))
163
164 (define (last-pair lst)
165   (let loop ((lst lst))
166     (if (or (null? lst) (null? (cdr lst))) lst
167         (loop (cdr lst)))))
168
169 (define (iota n)
170   (if (<= n 0) '()
171       (append2 (iota (- n 1)) (list (- n 1)))))
172
173 (define (reverse lst)
174   (if (null? lst) '()
175       (append (reverse (cdr lst)) (cons (car lst) '()))))
176
177 (define (filter pred lst)
178   (let loop ((lst lst))
179     (if (null? lst) '()
180         (if (pred (car lst))
181             (cons (car lst) (loop (cdr lst)))
182             (loop (cdr lst))))))
183
184 (define (delete x lst)
185   (filter (lambda (e) (not (equal? e x))) lst))
186
187 (define (delq x lst)
188   (filter (lambda (e) (not (eq? e x))) lst))
189
190 (define (compose proc . rest)
191   (if (null? rest) proc
192       (lambda args
193         (proc (apply (apply compose rest) args)))))
194
195 \f
196 ;; Vector
197 (define (vector . rest) (list->vector rest))
198 (define c:make-vector make-vector)
199 (define (make-vector n . x)
200   (if (null? x) (c:make-vector n)
201       (list->vector (apply make-list (cons n x)))))
202
203 (define (vector-copy x)
204   (list->vector (vector->list x)))
205
206 \f
207 ;;; Strings/srfi-13
208 (define (make-string n . fill)
209   (list->string (apply make-list n fill)))
210
211 (define (string-length s)
212   (length (string->list s)))
213
214 (define (string-ref s k)
215   (list-ref (string->list s) k))
216
217 (define (string-set! s k v)
218   (list->string (list-set! (string->list s) k v)))
219
220 (define (substring s start . rest)
221   (let* ((end (and (pair? rest) (car rest)))
222          (lst (list-tail (string->list s) start)))
223     (list->string (if (not end) lst
224                       (list-head lst (- end start))))))
225
226 (define (string-prefix? prefix string)
227   (let ((length (string-length string))
228         (prefix-length (string-length prefix)))
229   (and
230    (>= length prefix-length)
231    (equal? (substring string 0 prefix-length) prefix))))
232
233 (define (string-suffix? suffix string)
234   (let ((length (string-length string))
235         (suffix-length (string-length suffix)))
236     (and
237      (>= length suffix-length)
238      (equal? (substring string (- length suffix-length)) suffix))))
239
240 (define (string->number s . rest)
241   (let* ((radix (if (null? rest) 10 (car rest)))
242          (lst (string->list s))
243          (sign (if (char=? (car lst) #\-) -1 1))
244          (lst (if (= sign -1) (cdr lst) lst)))
245     (let loop ((lst lst) (n 0))
246       (if (null? lst) (* sign n)
247           (let ((i (char->integer (car lst))))
248             (loop (cdr lst) (+ (* n radix) (- i (if (<= i (char->integer #\9)) (char->integer #\0)
249                                                     (- (char->integer #\a) 10))))))))))
250
251 (define (number->string n . rest)
252   (let* ((radix (if (null? rest) 10 (car rest)))
253          (sign (if (< n 0) '(#\-) '())))
254     (let loop ((n (abs n)) (lst '()))
255       (let* ((i (remainder n radix))
256              (lst (cons (integer->char (+ i (if (< i 10) (char->integer #\0)
257                                                 (- (char->integer #\a) 10)))) lst))
258              (n (quotient n radix)))
259         (if (= 0 n) (list->string (append sign lst))
260             (loop n lst))))))
261
262 \f
263 ;;; Symbols
264 (define (symbol-prefix? prefix symbol)
265   (string-prefix? (symbol->string prefix) (symbol->string symbol)))
266
267 (define (symbol-append . rest)
268   (string->symbol (apply string-append (map symbol->string rest))))
269
270 (define gensym
271   (let ((counter 0))
272     (lambda (. rest)
273       (let ((value (number->string counter)))
274         (set! counter (+ counter 1))
275         (string->symbol (string-append "g" value))))))
276
277 \f
278 ;;; Keywords
279 (define (keyword->symbol s)
280   (list->symbol (keyword->list s)))
281
282 \f
283 ;;; Characters
284 (define (char=? x y)
285   (and (char? x) (char? y)
286        (eq? x y)))
287
288 (define (char<? a b) (< (char->integer a) (char->integer b)))
289 (define (char>? a b) (> (char->integer a) (char->integer b)))
290 (define (char<=? a b) (<= (char->integer a) (char->integer b)))
291 (define (char>=? a b) (>= (char->integer a) (char->integer b)))
292
293 (define (char-alphabetic? x)
294   (and (char? x)
295        (let ((i (char->integer x)))
296         (or (and (>= i (char->integer #\A)) (<= i (char->integer #\Z)))
297             (and (>= i (char->integer #\a)) (<= i (char->integer #\z)))))))
298
299 (define (char-numeric? x)
300   (and (char? x)
301        (let ((i (char->integer x)))
302          (and (>= i (char->integer #\0)) (<= i (char->integer #\9))))))
303
304 \f
305 ;;; Math
306 (define quotient /)
307
308 (define (<= . rest)
309   (or (apply < rest)
310       (apply = rest)))
311
312 (define (>= . rest)
313   (or (apply > rest)
314       (apply = rest)))
315
316 (define (remainder x y)
317   (- x (* (quotient x y) y)))
318
319 (define (even? x)
320   (= 0 (remainder x 2)))
321
322 (define (odd? x)
323   (= 1 (remainder x 2)))
324
325 (define (negative? x)
326   (< x 0))
327
328 (define (positive? x)
329   (> x 0))
330
331 (define (zero? x)
332   (= x 0))
333
334 (define (1+ x)
335   (+ x 1))
336
337 (define (1- x)
338   (- x 1))
339
340 (define (abs x)
341   (if (>= x 0) x (- x)))
342
343 (define (expt x y)
344   (let loop ((s 1) (count y))
345     (if (= 0 count) s
346         (loop (* s x) (- count 1)))))
347
348 (define (max x . rest)
349   (if (null? rest) x
350       (let ((y (car rest)))
351         (let ((z (if (> x y) x y)))
352           (apply max (cons z (cdr rest)))))))
353
354 (define (min x . rest)
355   (if (null? rest) x
356       (let ((y (car rest)))
357         (let ((z (if (< x y) x y)))
358           (apply min (cons z (cdr rest)))))))
359
360 (define (negate proc)
361   (lambda args
362     (not (apply proc args))))