343 lines
17 KiB
Scheme
343 lines
17 KiB
Scheme
;
|
|
;████████╗██╗ ██╗██╗ ██╗███╗ ██╗
|
|
;╚══██╔══╝██║ ██║██║ ██║████╗ ██║
|
|
; ██║ ███████║██║ ██║██╔██╗ ██║
|
|
; ██║ ██╔══██║██║ ██║██║╚██╗██║
|
|
; ██║ ██║ ██║╚██████╔╝██║ ╚████║
|
|
; ╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝
|
|
;
|
|
;Copyright © 2023 Simon Forman
|
|
;
|
|
;This file is part of Thun
|
|
;
|
|
;Thun 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.
|
|
;
|
|
;Thun 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 Thun. If not see <http://www.gnu.org/licenses/>.
|
|
;
|
|
|
|
(import (chicken io))
|
|
(import (chicken string))
|
|
(import srfi-1)
|
|
(import srfi-12)
|
|
(import srfi-69)
|
|
(import matchable)
|
|
|
|
;(load "defs.scm") ; csc -prologue defs.scm joy.scm
|
|
(cond-expand
|
|
(chicken-script (load "defs.scm"))
|
|
(else))
|
|
|
|
|
|
;██╗███╗ ██╗████████╗███████╗██████╗ ██████╗ ██████╗ ███████╗████████╗███████╗██████╗
|
|
;██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗██╔══██╗██╔══██╗██╔════╝╚══██╔══╝██╔════╝██╔══██╗
|
|
;██║██╔██╗ ██║ ██║ █████╗ ██████╔╝██████╔╝██████╔╝█████╗ ██║ █████╗ ██████╔╝
|
|
;██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗██╔═══╝ ██╔══██╗██╔══╝ ██║ ██╔══╝ ██╔══██╗
|
|
;██║██║ ╚████║ ██║ ███████╗██║ ██║██║ ██║ ██║███████╗ ██║ ███████╗██║ ██║
|
|
;╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝╚══════╝ ╚═╝ ╚══════╝╚═╝ ╚═╝
|
|
;Interpreter
|
|
|
|
(define (joy stack expression dict)
|
|
;(joy-trace stack expression)
|
|
(if (null? expression)
|
|
(values stack dict)
|
|
(if (symbol? (car expression))
|
|
(receive (s e d)
|
|
(joy-eval (car expression) stack (cdr expression) dict)
|
|
(joy s e d))
|
|
(joy (cons (car expression) stack) (cdr expression) dict))))
|
|
|
|
(define (joy-eval symbol stack expression dict)
|
|
(case symbol
|
|
((+ add) (values (joy-math-func + stack) expression dict))
|
|
((- sub) (values (joy-math-func - stack) expression dict))
|
|
((* mul) (values (joy-math-func * stack) expression dict))
|
|
((/ div) (values (joy-math-func quotient stack) expression dict)) ; but for negative divisor, no!?
|
|
((% mod) (values (joy-math-func modulo stack) expression dict))
|
|
|
|
((< lt) (values (joy-math-func < stack) expression dict))
|
|
((> gt) (values (joy-math-func > stack) expression dict))
|
|
((<= le) (values (joy-math-func <= stack) expression dict))
|
|
((>= ge) (values (joy-math-func >= stack) expression dict))
|
|
((= eq) (values (joy-math-func = stack) expression dict))
|
|
((<> != neq) (values (joy-math-func not-equal stack) expression dict))
|
|
|
|
((bool) (values (joy-bool stack) expression dict))
|
|
|
|
((dup) (values (joy-dup stack) expression dict))
|
|
((pop) (values (joy-pop stack) expression dict))
|
|
((stack) (values (cons stack stack) expression dict))
|
|
((swaack) (values (joy-swaack stack) expression dict))
|
|
((swap) (values (joy-swap stack) expression dict))
|
|
|
|
((concat) (values (joy-concat stack) expression dict))
|
|
((cons) (values (joy-cons stack) expression dict))
|
|
((first) (values (joy-first stack) expression dict))
|
|
((rest) (values (joy-rest stack) expression dict))
|
|
|
|
((i) (joy-i stack expression dict))
|
|
((dip) (joy-dip stack expression dict))
|
|
((branch) (joy-branch stack expression dict))
|
|
((loop) (joy-loop stack expression dict))
|
|
|
|
((inscribe) (joy-inscribe stack expression dict))
|
|
|
|
(else (if (hash-table-exists? dict symbol)
|
|
(values stack (append (hash-table-ref dict symbol) expression) dict)
|
|
(abort (conc "Unknown word: " symbol))))))
|
|
|
|
|
|
; ██████╗ ██████╗ ██████╗ ███████╗ ██╗ ██╗ ██████╗ ██████╗ ██████╗ ███████╗
|
|
;██╔════╝██╔═══██╗██╔══██╗██╔════╝ ██║ ██║██╔═══██╗██╔══██╗██╔══██╗██╔════╝
|
|
;██║ ██║ ██║██████╔╝█████╗ ██║ █╗ ██║██║ ██║██████╔╝██║ ██║███████╗
|
|
;██║ ██║ ██║██╔══██╗██╔══╝ ██║███╗██║██║ ██║██╔══██╗██║ ██║╚════██║
|
|
;╚██████╗╚██████╔╝██║ ██║███████╗ ╚███╔███╔╝╚██████╔╝██║ ██║██████╔╝███████║
|
|
; ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝ ╚══╝╚══╝ ╚═════╝ ╚═╝ ╚═╝╚═════╝ ╚══════╝
|
|
;Core Words
|
|
|
|
(define (joy-bool stack0)
|
|
(receive (term stack) (pop-any stack0)
|
|
(cons (joy-bool-term term) stack)))
|
|
|
|
(define (joy-bool-term term)
|
|
(cond ((boolean? term) term)
|
|
((number? term) (not-equal 0 term))
|
|
((list? term) (not (null? term)))
|
|
(else #t)))
|
|
|
|
(define (joy-dup stack)
|
|
(receive (term _) (pop-any stack) (cons term stack)))
|
|
|
|
(define (joy-pop stack0)
|
|
(receive (_ stack) (pop-any stack0) stack))
|
|
|
|
(define (joy-swaack stack0)
|
|
(receive (el stack) (pop-list stack0) (cons stack el)))
|
|
|
|
(define (joy-swap stack0)
|
|
(receive (a stack1) (pop-any stack0)
|
|
(receive (b stack) (pop-any stack1)
|
|
(cons b (cons a stack)))))
|
|
|
|
(define (joy-concat stack0)
|
|
(receive (a stack1) (pop-list stack0)
|
|
(receive (b stack) (pop-list stack1)
|
|
(cons (append b a) stack))))
|
|
|
|
(define (joy-cons stack0)
|
|
(receive (a stack1) (pop-list stack0)
|
|
(receive (b stack) (pop-any stack1)
|
|
(cons (cons b a) stack))))
|
|
|
|
(define (joy-rest stack0)
|
|
(receive (el stack) (pop-list stack0)
|
|
(if (null-list? el)
|
|
(abort "Cannot take rest of empty list.")
|
|
(cons (cdr el) stack))))
|
|
|
|
(define (joy-first stack0)
|
|
(receive (el stack) (pop-list stack0)
|
|
(if (null-list? el)
|
|
(abort "Cannot take first of empty list.")
|
|
(cons (car el) stack))))
|
|
|
|
|
|
; ██████╗ ██████╗ ███╗ ███╗██████╗ ██╗███╗ ██╗ █████╗ ████████╗ ██████╗ ██████╗ ███████╗
|
|
;██╔════╝██╔═══██╗████╗ ████║██╔══██╗██║████╗ ██║██╔══██╗╚══██╔══╝██╔═══██╗██╔══██╗██╔════╝
|
|
;██║ ██║ ██║██╔████╔██║██████╔╝██║██╔██╗ ██║███████║ ██║ ██║ ██║██████╔╝███████╗
|
|
;██║ ██║ ██║██║╚██╔╝██║██╔══██╗██║██║╚██╗██║██╔══██║ ██║ ██║ ██║██╔══██╗╚════██║
|
|
;╚██████╗╚██████╔╝██║ ╚═╝ ██║██████╔╝██║██║ ╚████║██║ ██║ ██║ ╚██████╔╝██║ ██║███████║
|
|
; ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═════╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝
|
|
;Combinators
|
|
|
|
(define (joy-i stack0 expression dict)
|
|
(receive (expr stack) (pop-list stack0)
|
|
(values stack (append expr expression) dict)))
|
|
|
|
(define (joy-dip stack0 expression dict)
|
|
(receive (expr stack1) (pop-list stack0)
|
|
(receive (x stack) (pop-any stack1)
|
|
(values stack (append expr (cons x expression)) dict))))
|
|
|
|
(define (joy-branch stack0 expression dict)
|
|
(receive (true_body stack1) (pop-list stack0)
|
|
(receive (false_body stack2) (pop-list stack1)
|
|
(receive (flag stack) (pop-bool stack2)
|
|
(values stack (append (if flag true_body false_body) expression) dict)))))
|
|
|
|
(define (joy-loop stack0 expression dict)
|
|
(receive (body stack1) (pop-list stack0)
|
|
(receive (flag stack) (pop-bool stack1)
|
|
(values stack
|
|
(if flag
|
|
(append body (cons body (cons 'loop expression)))
|
|
expression)
|
|
dict))))
|
|
|
|
|
|
;██████╗ █████╗ ██████╗ ███████╗███████╗██████╗
|
|
;██╔══██╗██╔══██╗██╔══██╗██╔════╝██╔════╝██╔══██╗
|
|
;██████╔╝███████║██████╔╝███████╗█████╗ ██████╔╝
|
|
;██╔═══╝ ██╔══██║██╔══██╗╚════██║██╔══╝ ██╔══██╗
|
|
;██║ ██║ ██║██║ ██║███████║███████╗██║ ██║
|
|
;╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝╚══════╝╚═╝ ╚═╝
|
|
;Parser
|
|
|
|
(define (text->expression text) (parse (tokenize text)))
|
|
|
|
(define (tokenize str) ; Let's do the simple trick.
|
|
(string-split (string-replace (string-replace str "]" " ] ") "[" " [ ")))
|
|
|
|
(define (parse tokens) (parse0 tokens '()))
|
|
|
|
(define (parse0 tokens acc)
|
|
(if (null? tokens) acc
|
|
(receive (term rest_of_tokens)
|
|
(one-token-lookahead (car tokens) (cdr tokens))
|
|
(cons term (parse0 rest_of_tokens acc)))))
|
|
|
|
(define (one-token-lookahead token tokens)
|
|
(match token
|
|
("]" (abort "Extra closing bracket."))
|
|
("[" (expect-right-bracket tokens '()))
|
|
(_ (values (tokenator token) tokens))))
|
|
|
|
(define (expect-right-bracket tokens0 acc)
|
|
(if (null? tokens0) (abort "Missing closing bracket.")
|
|
(receive (token tokens) (car+cdr tokens0)
|
|
(match token
|
|
("]" (values acc tokens))
|
|
("[" (receive (sub_list rest) (expect-right-bracket tokens '())
|
|
(receive (el rrest) (expect-right-bracket rest acc)
|
|
(values (cons sub_list el) rrest))))
|
|
(_ (receive (el rest) (expect-right-bracket tokens acc)
|
|
(values (cons (tokenator token) el) rest)))))))
|
|
|
|
(define (tokenator token)
|
|
(cond ((string->number token) (string->number token))
|
|
((string=? token "true") #t)
|
|
((string=? token "false") #f)
|
|
(else (string->symbol token))))
|
|
|
|
|
|
;██████╗ ██████╗ ██╗███╗ ██╗████████╗███████╗██████╗
|
|
;██╔══██╗██╔══██╗██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗
|
|
;██████╔╝██████╔╝██║██╔██╗ ██║ ██║ █████╗ ██████╔╝
|
|
;██╔═══╝ ██╔══██╗██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗
|
|
;██║ ██║ ██║██║██║ ╚████║ ██║ ███████╗██║ ██║
|
|
;╚═╝ ╚═╝ ╚═╝╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝
|
|
;Printer
|
|
|
|
(define (joy-term->string term)
|
|
(cond ((boolean? term) (if term "true" "false"))
|
|
((number? term) (->string term))
|
|
((list? term) (conc "[" (joy-expression->string term) "]"))
|
|
(else (symbol->string term))))
|
|
|
|
(define (joy-expression->string expr)
|
|
(string-intersperse (map joy-term->string expr) " "))
|
|
|
|
|
|
;██████╗ ███████╗███████╗██╗███╗ ██╗██╗████████╗██╗ ██████╗ ███╗ ██╗███████╗
|
|
;██╔══██╗██╔════╝██╔════╝██║████╗ ██║██║╚══██╔══╝██║██╔═══██╗████╗ ██║██╔════╝
|
|
;██║ ██║█████╗ █████╗ ██║██╔██╗ ██║██║ ██║ ██║██║ ██║██╔██╗ ██║███████╗
|
|
;██║ ██║██╔══╝ ██╔══╝ ██║██║╚██╗██║██║ ██║ ██║██║ ██║██║╚██╗██║╚════██║
|
|
;██████╔╝███████╗██║ ██║██║ ╚████║██║ ██║ ██║╚██████╔╝██║ ╚████║███████║
|
|
;╚═════╝ ╚══════╝╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝╚══════╝
|
|
;Definitions
|
|
|
|
(define (initialize)
|
|
(load-defs! (make-hash-table equal? symbol-hash)))
|
|
|
|
(define (load-defs! dict)
|
|
(for-each (lambda (def) (add-def! def dict)) (defs))
|
|
; defs is defined in defs.scm
|
|
dict)
|
|
|
|
(define (add-def! def dict)
|
|
(let ((def_list (text->expression def)))
|
|
(hash-table-set! dict (car def_list) (cdr def_list))))
|
|
|
|
(define (joy-inscribe stack0 expression dict0)
|
|
(receive (def stack) (pop-list stack0)
|
|
(if (null-list? def)
|
|
(abort "Empty definition.")
|
|
(receive (name body) (car+cdr def)
|
|
(if (symbol? name)
|
|
(let ((dict (hash-table-copy dict0)))
|
|
(hash-table-set! dict name body)
|
|
(values stack expression dict))
|
|
(abort "Def name isn't symbol."))))))
|
|
|
|
|
|
;██╗ ██╗████████╗██╗██╗ ███████╗
|
|
;██║ ██║╚══██╔══╝██║██║ ██╔════╝
|
|
;██║ ██║ ██║ ██║██║ ███████╗
|
|
;██║ ██║ ██║ ██║██║ ╚════██║
|
|
;╚██████╔╝ ██║ ██║███████╗███████║
|
|
; ╚═════╝ ╚═╝ ╚═╝╚══════╝╚══════╝
|
|
; Utils
|
|
|
|
(define (not-equal a b) (not (= a b)))
|
|
|
|
(define (joy-math-func op stack0)
|
|
(receive (a stack1) (pop-int stack0)
|
|
(receive (b stack) (pop-int stack1)
|
|
(cons (op b a) stack))))
|
|
|
|
(define (pop-any stack)
|
|
(if (null-list? stack)
|
|
(abort "Not enough values on Stack")
|
|
(car+cdr stack)))
|
|
|
|
(define (pop-kind stack predicate message)
|
|
(receive (term rest) (pop-any stack)
|
|
(if (predicate term) (values term rest) (abort message))))
|
|
|
|
(define (pop-list stack) (pop-kind stack list? "Not a list."))
|
|
(define (pop-int stack) (pop-kind stack number? "Not an integer."))
|
|
(define (pop-bool stack) (pop-kind stack boolean? "Not a Boolean value."))
|
|
|
|
(define (string-replace str from to)
|
|
(string-intersperse (string-split str from #t) to))
|
|
|
|
(define (joy-trace stack expression)
|
|
(print (conc (joy-expression->string (reverse stack)) " . " (joy-expression->string expression))))
|
|
|
|
|
|
;██████╗ ███████╗██████╗ ██╗
|
|
;██╔══██╗██╔════╝██╔══██╗██║
|
|
;██████╔╝█████╗ ██████╔╝██║
|
|
;██╔══██╗██╔══╝ ██╔═══╝ ██║
|
|
;██║ ██║███████╗██║ ███████╗
|
|
;╚═╝ ╚═╝╚══════╝╚═╝ ╚══════╝
|
|
;REPL
|
|
|
|
(define (prompt) (display "joy? ") (read-line))
|
|
|
|
(define (main-loop stack0 dict0)
|
|
(let ((text (prompt)))
|
|
(if (eof-object? text) (print)
|
|
(receive (stack dict)
|
|
(handle-exceptions exn
|
|
(begin (display exn) (newline) (values stack0 dict0))
|
|
(joy stack0 (text->expression text) dict0))
|
|
(print (joy-expression->string (reverse stack)))
|
|
(main-loop stack dict)))))
|
|
|
|
(main-loop '() (initialize))
|
|
|
|
|
|
;(display (text->expression "5 [] cons [4] concat first"))
|
|
;(display (doit "5 down_to_zero"))
|
|
;(display (doit "1 2 true [4 5 false] loop <"))
|
|
;(newline)
|