f2a48b8e56bb19457dc96ad8c5e8133f085c99cc
[mes.git] / scaffold / boot / 4c-quasiquote.scm
1 ;;; Mes --- Maxwell Equations of Software
2 ;;; Copyright © 2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
3 ;;;
4 ;;; This file is part of Mes.
5 ;;;
6 ;;; Mes is free software; you can redistribute it and/or modify it
7 ;;; under the terms of the GNU General Public License as published by
8 ;;; the Free Software Foundation; either version 3 of the License, or (at
9 ;;; your option) any later version.
10 ;;;
11 ;;; Mes is distributed in the hope that it will be useful, but
12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 ;;; GNU General Public License for more details.
15 ;;;
16 ;;; You should have received a copy of the GNU General Public License
17 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
18
19 (define <cell:pair> 7)
20 (define (pair? x) (eq? (core:type x) <cell:pair>))
21 (define <cell:vector> 14)
22 (define (vector? x)
23   (eq? (core:type x) <cell:vector>))
24
25 (define-macro (cond . clauses)
26   (list 'if (pair? clauses)
27         (list (cons
28                'lambda
29                (cons
30                 '(test)
31                 (list (list 'if 'test
32                             (if (pair? (cdr (car clauses)))
33                                 (if (eq? (car (cdr (car clauses))) '=>)
34                                     (append2 (cdr (cdr (car clauses))) '(test))
35                                     (list (cons 'lambda (cons '() (cons 'test (cdr (car clauses)))))))
36                                 (list (cons 'lambda (cons '() (cons 'test (cdr (car clauses)))))))
37                             (if (pair? (cdr clauses))
38                                 (cons 'cond (cdr clauses)))))))
39               (car (car clauses)))))
40
41 (define else #t)
42 (define append append2)
43 (define (not x) (if x #f #t))
44
45 (define-macro (and . x)
46   (if (null? x) #t
47       (if (null? (cdr x)) (car x)
48           (list (quote if) (car x) (cons (quote and) (cdr x))
49                 #f))))
50
51 (define (cons* . rest)
52   (if (null? (cdr rest)) (car rest)
53       (cons (car rest) (core:apply cons* (cdr rest) (current-module)))))
54
55 (define (memq x lst)
56   (if (null? lst) #f
57       (if (eq? x (car lst)) lst
58           (memq x (cdr lst)))))
59
60 ;; (define (quasiquote-expand x)
61 ;;   (core:display "quasiquote-expand x=") (core:display x) (core:display "\n")
62 ;;   (cond ((null? x)
63 ;;          (core:display "NULL\n")
64 ;;          '())
65 ;;         ((vector? x)
66 ;;          (core:display "vector\n")
67 ;;          (list 'list->vector (quasiquote-expand (vector->list x))))
68 ;;         ((not (pair? x))
69 ;;          (core:display "NOT a pair\n")
70 ;;          (cons 'quote (cons x '())))
71 ;;         ((eq? (car x) 'quasiquote) (quasiquote-expand (quasiquote-expand
72 ;;                                                        (if (null? (cddr x)) (cadr x)
73 ;;                                                            (cons 'list (cdr x))))))
74 ;;         ((eq? (car x) 'unquote) (if (null? (cddr x)) (cadr x)
75 ;;                                     (cons 'list (cdr x))))
76 ;;         ((and (pair? (car x)) (eq? (caar x) 'unquote-splicing))
77 ;;          ((lambda (d)
78 ;;             (if (null? (cddar x)) (list 'append (cadar x) d)
79 ;;                 (list 'quote (append (cdar x) d))))
80 ;;           (quasiquote-expand (cdr x))))
81 ;;         (else
82 ;;          (core:display "ELSje\n")
83 ;;          (core:display "CAR x=") (core:display (car x))
84 ;;          (core:display "\n")
85 ;;          (core:display "CDR x=") (core:display (cdr x))
86 ;;          (core:display "\n")
87 ;;          ((lambda (a d)
88 ;;             (core:display "  a=") (core:display a) (core:display "\n")
89 ;;             (core:display "  d=") (core:display d)
90             
91 ;;             (if (pair? d)
92 ;;                 (if (eq? (car d) 'quote)
93 ;;                     (if (and (pair? a) (eq? (car a) 'quote))
94 ;;                         (list 'quote (cons (cadr a) (cadr d)))
95 ;;                         (if (null? (cadr d))
96 ;;                             (list 'list a)
97 ;;                             (list 'cons* a d)))
98 ;;                     (if (memq (car d) '(list cons*))
99 ;;                         (cons (car d) (cons a (cdr d)))
100 ;;                         (list 'cons* a d)))
101 ;;                 (list 'cons* a d)))
102 ;;           (quasiquote-expand (car x))
103 ;;           (list 'quasiquote-expand (list 'cdr x))))))
104
105 (define (caar x) (car (car x)))
106 (define (cadr x) (car (cdr x)))
107 (define (cdar x) (cdr (car x)))
108 (define (cddr x) (cdr (cdr x)))
109
110 (define (cadar x) (car (cdr (car x))))
111 (define (cddar x) (cdr (cdr (car x))))
112
113 (define (quasiquote-expand x)
114   (core:display "quasiquote-expand x=") (core:display x) (core:display "\n")
115   (cond ((vector? x) (list 'list->vector (quasiquote-expand (vector->list x))))
116         ((not (pair? x)) (cons 'quote (cons x '())))
117         ((eq? (car x) 'quasiquote) (quasiquote-expand (quasiquote-expand
118                                              (if (null? (cddr x)) (cadr x)
119                                                  (cons 'list (cdr x))))))
120         ((eq? (car x) 'unquote) (if (null? (cddr x)) (cadr x)
121                                     (cons 'list (cdr x))))
122         ((and (pair? (car x)) (eq? (caar x) 'unquote-splicing))
123          ((lambda (d)
124             (if (null? (cddar x)) (list 'append (cadar x) d)
125                 (list 'quote (append (cdar x) d))))
126           (quasiquote-expand (cdr x))))
127         (else
128          (core:display "ELSje\n")
129          (core:display "CAR x=") (core:display (car x))
130          (core:display "\n")
131          (core:display "CDR x=") (core:display (cdr x))
132          (core:display "\n")
133          ((lambda (a d)
134             (core:display "CAR a=") (core:display a)
135             (core:display "\n")
136             (core:display "CDR d=") (core:display d)
137             (core:display "\n")
138             
139                  (if (pair? d)
140                      (if (eq? (car d) 'quote)
141                          (if (and (pair? a) (eq? (car a) 'quote))
142                              (list 'quote (cons (cadr a) (cadr d)))
143                              (if (null? (cadr d))
144                                  (list 'list a)
145                                  (list 'cons* a d)))
146                          (if (memq (car d) '(list cons*))
147                              (cons (car d) (cons a (cdr d)))
148                              (list 'cons* a d)))
149                      (list 'cons* a d)))
150                (quasiquote-expand (car x))
151                (quasiquote-expand (cdr x))
152 ))))
153
154 (define-macro (quasiquote x)
155   (quasiquote-expand x))
156
157 ;; (define (remainder x y)
158 ;;   (- x (* (/ x y) y)))
159 ;; (define (even? x)
160 ;;   (eq? 0 (remainder x v2)))
161 ;; (pass-if-equal "qq 4" '#(10 5 #t #t #f #f #f 8)
162 ;;                `#(10 5 ,(even? 4) ,@(map even? '(2 3 5 7)) 8))
163 ;;(core:display (quasiquote #(42)))
164 (core:display (quasiquote-expand #(42)))