mirror of
https://github.com/kanaka/mal.git
synced 2024-11-10 02:45:44 +03:00
fbfe6784d2
- Add a `vec` built-in function in step7 so that `quasiquote` does not require `apply` from step9. - Introduce quasiquoteexpand special in order to help debugging step7. This may also prepare newcomers to understand step8. - Add soft tests. - Do not quote numbers, strings and so on. Should ideally have been in separate commits: - elisp: simplify and fix (keyword :k) - factor: fix copy/paste error in let*/step7, simplify eval-ast. - guile: improve list/vector types - haskell: revert evaluation during quasiquote - logo, make: cosmetic issues
271 lines
7.0 KiB
Scheme
271 lines
7.0 KiB
Scheme
;; Copyright (C) 2015
|
|
;; "Mu Lei" known as "NalaGinrut" <NalaGinrut@gmail.com>
|
|
;; This file is free software: you can redistribute it and/or modify
|
|
;; it under the terms of the GNU General Public License as published by
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
;; (at your option) any later version.
|
|
|
|
;; This file is distributed in the hope that it will be useful,
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
;; GNU General Public License for more details.
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
;; along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
(library (core)
|
|
(export core.ns ->list)
|
|
(import (guile) (rnrs) (types) (reader) (printer) (ice-9 match) (readline)))
|
|
|
|
(define (->list o) ((if (vector? o) vector->list identity) o))
|
|
|
|
(define (vec lst) (if (vector? lst) lst (list->vector lst)))
|
|
|
|
(define (_count obj)
|
|
(cond
|
|
((_nil? obj) 0)
|
|
((vector? obj) (vector-length obj))
|
|
(else (length obj))))
|
|
|
|
(define (_empty? obj) (zero? (_count obj)))
|
|
|
|
;; Well, strange spec...
|
|
(define (_equal? o1 o2)
|
|
(define (equal-lists? lst1 lst2)
|
|
(and (= (length lst1) (length lst2))
|
|
(for-all _equal? lst1 lst2)))
|
|
(define (equal-hash-tables? ht1 ht2)
|
|
(define (equal-values? k)
|
|
(_equal? (_get ht1 k) (_get ht2 k)))
|
|
(let ((keys1 (_keys ht1)))
|
|
(and (= (length keys1) (length (_keys ht2)))
|
|
(for-all equal-values? keys1))))
|
|
(cond
|
|
((and (_sequential? o1) (_sequential? o2))
|
|
(equal-lists? (->list o1) (->list o2)))
|
|
((and (hash-table? o1) (hash-table? o2))
|
|
(equal-hash-tables? o1 o2))
|
|
(else
|
|
(equal? o1 o2))))
|
|
|
|
(define (pr-str . args)
|
|
(define (pr x) (pr_str x #t))
|
|
(string-join (map pr args) " "))
|
|
|
|
(define (str . args)
|
|
(define (pr x) (pr_str x #f))
|
|
(string-join (map pr args) ""))
|
|
|
|
(define (prn . args)
|
|
(format #t "~a~%" (apply pr-str args))
|
|
nil)
|
|
|
|
(define (println . args)
|
|
(define (pr x) (pr_str x #f))
|
|
(format #t "~{~a~^ ~}~%" (map pr args))
|
|
nil)
|
|
|
|
(define (slurp filename)
|
|
(when (not (file-exists? filename))
|
|
(throw 'mal-error (format #f "File/dir '~a' doesn't exist" filename)))
|
|
(call-with-input-file filename get-string-all))
|
|
|
|
(define (_cons x y)
|
|
(cons x (->list y)))
|
|
|
|
(define (concat . args)
|
|
(apply append (map ->list args)))
|
|
|
|
(define (_nth lst n)
|
|
(define ll (->list lst))
|
|
(when (>= n (length ll))
|
|
(throw 'mal-error "nth: index out of range"))
|
|
(list-ref ll n))
|
|
|
|
(define (_first lst)
|
|
(define ll (->list lst))
|
|
(cond
|
|
((_nil? lst) nil)
|
|
((null? ll) nil)
|
|
(else (car ll))))
|
|
|
|
(define (_rest lst)
|
|
(define ll (->list lst))
|
|
(cond
|
|
((_nil? lst) '())
|
|
((null? ll) '())
|
|
(else (cdr ll))))
|
|
|
|
(define (_map f lst) (map (callable-closure f) (->list lst)))
|
|
|
|
(define (_apply f . args)
|
|
(define ll
|
|
(let lp((next args) (ret '()))
|
|
(cond
|
|
((null? next) (reverse ret))
|
|
(else
|
|
(let ((n (->list (car next))))
|
|
(lp (cdr next) (if (list? n)
|
|
(append (reverse n) ret)
|
|
(cons n ret))))))))
|
|
(callable-apply f ll))
|
|
|
|
(define (->symbol x)
|
|
((if (symbol? x) identity string->symbol) x))
|
|
|
|
(define (->keyword x)
|
|
((if (_keyword? x) identity string->keyword) x))
|
|
|
|
(define (_hash-map . lst) (list->hash-map lst))
|
|
|
|
(define (_assoc ht . lst) (list->hash-map lst (hash-table-clone ht)))
|
|
|
|
(define (_get ht k)
|
|
(if (_nil? ht)
|
|
nil
|
|
(hash-ref ht k nil)))
|
|
|
|
(define (_dissoc ht . lst)
|
|
(define ht2 (hash-table-clone ht))
|
|
(for-each (lambda (k) (hash-remove! ht2 k)) lst)
|
|
ht2)
|
|
|
|
(define (_keys ht) (hash-map->list (lambda (k v) k) ht))
|
|
|
|
(define (_vals ht) (hash-map->list (lambda (k v) v) ht))
|
|
|
|
(define (_contains? ht k)
|
|
(let ((v (hash-ref ht k '*mal-null*)))
|
|
(if (eq? v '*mal-null*)
|
|
#f
|
|
#t)))
|
|
|
|
(define (_sequential? o) (or (list? o) (vector? o)))
|
|
|
|
(define (_meta c)
|
|
(if (callable? c)
|
|
(callable-meta-info c)
|
|
(or (object-property c 'meta) nil)))
|
|
|
|
(define (_with-meta c ht)
|
|
(cond
|
|
((callable? c)
|
|
(let ((cc (make-callable ht
|
|
(callable-unbox c)
|
|
#f
|
|
(callable-closure c))))
|
|
cc))
|
|
(else
|
|
(let ((cc (box c)))
|
|
(set-object-property! cc 'meta ht)
|
|
cc))))
|
|
|
|
;; Apply closure 'c' with atom-val as one of arguments, then
|
|
;; set the result as the new val of atom.
|
|
(define (_swap! atom c . rest)
|
|
(let* ((args (cons (atom-val atom) rest))
|
|
(val (callable-apply c args)))
|
|
(atom-val-set! atom val)
|
|
val))
|
|
|
|
(define (_conj lst . args)
|
|
(cond
|
|
((vector? lst)
|
|
(list->vector (append (->list lst) args)))
|
|
((list? lst)
|
|
(append (reverse args) (->list lst)))
|
|
(else (throw 'mal-error (format #f "conj: '~a' is not list/vector" lst)))))
|
|
|
|
(define (_seq obj)
|
|
(cond
|
|
((_nil? obj) nil)
|
|
((_string? obj)
|
|
(if (string-null? obj) nil (map string (string->list obj))))
|
|
((_empty? obj) nil)
|
|
(else (->list obj))))
|
|
|
|
(define (__readline prompt)
|
|
(let ((str (_readline prompt)))
|
|
(if (eof-object? str)
|
|
#f
|
|
str)))
|
|
|
|
(define (_true? x) (eq? x #t))
|
|
(define (_false? x) (eq? x #f))
|
|
|
|
;; We need regular named procedure for better debug
|
|
(define (_atom x) (make-atom x))
|
|
(define (_atom? x) (atom? x))
|
|
(define (_deref x) (atom-val x))
|
|
(define (_reset! x v) (atom-val-set! x v))
|
|
|
|
(define (time-ms)
|
|
(let ((t (gettimeofday)))
|
|
(round
|
|
(+ (* (car t) 1000.0) (/ (cdr t) 1000.0) 0.5))))
|
|
|
|
(define *primitives*
|
|
`((list ,list)
|
|
(list? ,list?)
|
|
(empty? ,_empty?)
|
|
(count ,_count)
|
|
(= ,_equal?)
|
|
(< ,<)
|
|
(<= ,<=)
|
|
(> ,>)
|
|
(>= ,>=)
|
|
(+ ,+)
|
|
(- ,-)
|
|
(* ,*)
|
|
(/ ,/)
|
|
(pr-str ,pr-str)
|
|
(str ,str)
|
|
(prn ,prn)
|
|
(println ,println)
|
|
(read-string ,read_str)
|
|
(slurp ,slurp)
|
|
(cons ,_cons)
|
|
(concat ,concat)
|
|
(vec ,vec)
|
|
(nth ,_nth)
|
|
(first ,_first)
|
|
(rest ,_rest)
|
|
(map ,_map)
|
|
(apply ,_apply)
|
|
(nil? ,_nil?)
|
|
(true? ,_true?)
|
|
(false? ,_false?)
|
|
(number? ,number?)
|
|
(symbol? ,symbol?)
|
|
(symbol ,->symbol)
|
|
(string? ,_string?)
|
|
(keyword ,->keyword)
|
|
(keyword? ,_keyword?)
|
|
(vector? ,vector?)
|
|
(vector ,vector)
|
|
(hash-map ,_hash-map)
|
|
(map? ,hash-table?)
|
|
(assoc ,_assoc)
|
|
(get ,_get)
|
|
(dissoc ,_dissoc)
|
|
(keys ,_keys)
|
|
(vals ,_vals)
|
|
(contains? ,_contains?)
|
|
(sequential? ,_sequential?)
|
|
(fn? ,is-func?)
|
|
(macro? ,is-macro?)
|
|
(readline ,__readline)
|
|
(meta ,_meta)
|
|
(with-meta ,_with-meta)
|
|
(atom ,_atom)
|
|
(atom? ,_atom?)
|
|
(deref ,_deref)
|
|
(reset! ,_reset!)
|
|
(swap! ,_swap!)
|
|
(conj ,_conj)
|
|
(seq ,_seq)
|
|
(time-ms ,time-ms)))
|
|
|
|
;; Well, we have to rename it to this strange name...
|
|
(define core.ns *primitives*)
|