core: Use single definition rule for cell-type.
[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 (pair? x) (eq? (core:type x) <cell:pair>))
20 (define (vector? x)
21   (eq? (core:type x) <cell:vector>))
22
23 (define-macro (cond . clauses)
24   (list 'if (pair? clauses)
25         (list (cons
26                'lambda
27                (cons
28                 '(test)
29                 (list (list 'if 'test
30                             (if (pair? (cdr (car clauses)))
31                                 (if (eq? (car (cdr (car clauses))) '=>)
32                                     (append2 (cdr (cdr (car clauses))) '(test))
33                                     (list (cons 'lambda (cons '() (cons 'test (cdr (car clauses)))))))
34                                 (list (cons 'lambda (cons '() (cons 'test (cdr (car clauses)))))))
35                             (if (pair? (cdr clauses))
36                                 (cons 'cond (cdr clauses)))))))
37               (car (car clauses)))))
38
39 (define else #t)
40 (define append append2)
41 (define (not x) (if x #f #t))
42
43 (define-macro (and . x)
44   (if (null? x) #t
45       (if (null? (cdr x)) (car x)
46           (list (quote if) (car x) (cons (quote and) (cdr x))
47                 #f))))
48
49 (define (cons* . rest)
50   (if (null? (cdr rest)) (car rest)
51       (cons (car rest) (core:apply cons* (cdr rest) (current-module)))))
52
53 (define (memq x lst)
54   (if (null? lst) #f
55       (if (eq? x (car lst)) lst
56           (memq x (cdr lst)))))
57
58 ;; (define (quasiquote-expand x)
59 ;;   (core:display "quasiquote-expand x=") (core:display x) (core:display "\n")
60 ;;   (cond ((null? x)
61 ;;          (core:display "NULL\n")
62 ;;          '())
63 ;;         ((vector? x)
64 ;;          (core:display "vector\n")
65 ;;          (list 'list->vector (quasiquote-expand (vector->list x))))
66 ;;         ((not (pair? x))
67 ;;          (core:display "NOT a pair\n")
68 ;;          (cons 'quote (cons x '())))
69 ;;         ((eq? (car x) 'quasiquote) (quasiquote-expand (quasiquote-expand
70 ;;                                                        (if (null? (cddr x)) (cadr x)
71 ;;                                                            (cons 'list (cdr x))))))
72 ;;         ((eq? (car x) 'unquote) (if (null? (cddr x)) (cadr x)
73 ;;                                     (cons 'list (cdr x))))
74 ;;         ((and (pair? (car x)) (eq? (caar x) 'unquote-splicing))
75 ;;          ((lambda (d)
76 ;;             (if (null? (cddar x)) (list 'append (cadar x) d)
77 ;;                 (list 'quote (append (cdar x) d))))
78 ;;           (quasiquote-expand (cdr x))))
79 ;;         (else
80 ;;          (core:display "ELSje\n")
81 ;;          (core:display "CAR x=") (core:display (car x))
82 ;;          (core:display "\n")
83 ;;          (core:display "CDR x=") (core:display (cdr x))
84 ;;          (core:display "\n")
85 ;;          ((lambda (a d)
86 ;;             (core:display "  a=") (core:display a) (core:display "\n")
87 ;;             (core:display "  d=") (core:display d)
88             
89 ;;             (if (pair? d)
90 ;;                 (if (eq? (car d) 'quote)
91 ;;                     (if (and (pair? a) (eq? (car a) 'quote))
92 ;;                         (list 'quote (cons (cadr a) (cadr d)))
93 ;;                         (if (null? (cadr d))
94 ;;                             (list 'list a)
95 ;;                             (list 'cons* a d)))
96 ;;                     (if (memq (car d) '(list cons*))
97 ;;                         (cons (car d) (cons a (cdr d)))
98 ;;                         (list 'cons* a d)))
99 ;;                 (list 'cons* a d)))
100 ;;           (quasiquote-expand (car x))
101 ;;           (list 'quasiquote-expand (list 'cdr x))))))
102
103 (define (caar x) (car (car x)))
104 (define (cadr x) (car (cdr x)))
105 (define (cdar x) (cdr (car x)))
106 (define (cddr x) (cdr (cdr x)))
107
108 (define (cadar x) (car (cdr (car x))))
109 (define (cddar x) (cdr (cdr (car x))))
110
111 (define (quasiquote-expand x)
112   (core:display "quasiquote-expand x=") (core:display x) (core:display "\n")
113   (cond ((vector? x) (list 'list->vector (quasiquote-expand (vector->list x))))
114         ((not (pair? x)) (cons 'quote (cons x '())))
115         ((eq? (car x) 'quasiquote) (quasiquote-expand (quasiquote-expand
116                                              (if (null? (cddr x)) (cadr x)
117                                                  (cons 'list (cdr x))))))
118         ((eq? (car x) 'unquote) (if (null? (cddr x)) (cadr x)
119                                     (cons 'list (cdr x))))
120         ((and (pair? (car x)) (eq? (caar x) 'unquote-splicing))
121          ((lambda (d)
122             (if (null? (cddar x)) (list 'append (cadar x) d)
123                 (list 'quote (append (cdar x) d))))
124           (quasiquote-expand (cdr x))))
125         (else
126          (core:display "ELSje\n")
127          (core:display "CAR x=") (core:display (car x))
128          (core:display "\n")
129          (core:display "CDR x=") (core:display (cdr x))
130          (core:display "\n")
131          ((lambda (a d)
132             (core:display "CAR a=") (core:display a)
133             (core:display "\n")
134             (core:display "CDR d=") (core:display d)
135             (core:display "\n")
136             
137                  (if (pair? d)
138                      (if (eq? (car d) 'quote)
139                          (if (and (pair? a) (eq? (car a) 'quote))
140                              (list 'quote (cons (cadr a) (cadr d)))
141                              (if (null? (cadr d))
142                                  (list 'list a)
143                                  (list 'cons* a d)))
144                          (if (memq (car d) '(list cons*))
145                              (cons (car d) (cons a (cdr d)))
146                              (list 'cons* a d)))
147                      (list 'cons* a d)))
148                (quasiquote-expand (car x))
149                (quasiquote-expand (cdr x))
150 ))))
151
152 (define-macro (quasiquote x)
153   (quasiquote-expand x))
154
155 ;; (define (remainder x y)
156 ;;   (- x (* (/ x y) y)))
157 ;; (define (even? x)
158 ;;   (eq? 0 (remainder x v2)))
159 ;; (pass-if-equal "qq 4" '#(10 5 #t #t #f #f #f 8)
160 ;;                `#(10 5 ,(even? 4) ,@(map even? '(2 3 5 7)) 8))
161 ;;(core:display (quasiquote #(42)))
162 (core:display (quasiquote-expand #(42)))