8bba7ff925e8fd0413731b70f82ce44a37cf3c60
[mes.git] / module / mes / base-0.mes
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; base-0.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 ;;; Commentary:
22
23 ;;; base-0.mes is the first file being loaded from the Mes core.  It
24 ;;; provides primitives that use Mes internals to create the illusion
25 ;;; of compatibility with Guile.  It is not safe to be run by Guile.
26
27 ;;; Code:
28
29 #f ;; FIXME -- needed for --dump, then --load
30 (define (primitive-eval e) (eval-env e (current-module)))
31 (define eval eval-env)
32 (define (expand-macro e) (expand-macro-env e (current-module)))
33
34 (define quotient /)
35
36 (define-macro (defined? x)
37   (list 'assq x '(cddr (current-module))))
38
39 (if (defined? 'current-input-port) #t
40     (define (current-input-port) 0))
41
42 (define (current-output-port) 1)
43 (define (current-error-port) 2)
44 (define (port-filename port) "<stdin>")
45 (define (port-line port) 0)
46 (define (port-column port) 0)
47 (define (ftell port) 0)
48 (define (false-if-exception x) x)
49
50 (define (cons* x . rest)
51   (define (loop rest)
52     (if (null? (cdr rest)) (car rest)
53         (cons (car rest) (loop (cdr rest)))))
54   (loop (cons x rest)))
55
56 (define (apply f h . t) (apply-env f (cons h t) (current-module)))
57 (define (apply f h . t)
58   (if (null? t) (apply-env f h (current-module))
59       (apply f (apply cons* (cons h t)))))
60
61 (define-macro (cond . clauses)
62   (list 'if (null? clauses) *unspecified*
63         (if (null? (cdr clauses))
64            (list 'if (car (car clauses))
65                  (list (cons 'lambda (cons '() (cons (car (car clauses)) (cdr (car clauses))))))
66                  *unspecified*)
67            (if (eq? (car (cadr clauses)) 'else)
68                (list 'if (car (car clauses))
69                    (list (cons 'lambda (cons '() (car clauses))))
70                    (list (cons 'lambda (cons '() (cons *unspecified* (cdr (cadr clauses)))))))
71                (list 'if (car (car clauses))
72                    (list (cons 'lambda (cons '() (car clauses))))
73                    (cons 'cond (cdr clauses)))))))
74
75 (define else #t)
76
77 (define (map f l . r)
78   (if (null? l) '()
79       (if (null? r) (cons (f (car l)) (map f (cdr l)))
80           (if (null? (cdr r))
81               (cons (f (car l) (caar r)) (map f (cdr l) (cdar r)))))))
82
83 (define-macro (simple-let bindings . rest)
84   (cons (cons 'lambda (cons (map car bindings) rest))
85         (map cadr bindings)))
86
87 (define-macro (let bindings . rest)
88   (cons 'simple-let (cons bindings rest)))
89
90 (define *input-ports* '())
91 (define-macro (push! stack o)
92   `(begin
93      (set! ,stack (cons ,o ,stack))
94      ,stack))
95 (define-macro (pop! stack)
96   `(let ((o (car ,stack)))
97      (set! ,stack (cdr ,stack))
98      o))
99 (define-macro (load file)
100   `(primitive-eval
101     (begin
102       (push! *input-ports* (current-input-port))
103       (set-current-input-port (open-input-file ,file))
104       (primitive-load)
105       (set-current-input-port (pop! *input-ports*)))))