+;
+;████████╗██╗ ██╗██╗ ██╗███╗ ██╗
+;╚══██╔══╝██║ ██║██║ ██║████╗ ██║
+; ██║ ███████║██║ ██║██╔██╗ ██║
+; ██║ ██╔══██║██║ ██║██║╚██╗██║
+; ██║ ██║ ██║╚██████╔╝██║ ╚████║
+; ╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝
+;
+;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-69)
(chicken-script (load "defs.scm"))
(else))
+
+;██╗███╗ ██╗████████╗███████╗██████╗ ██████╗ ██████╗ ███████╗████████╗███████╗██████╗
+;██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗██╔══██╗██╔══██╗██╔════╝╚══██╔══╝██╔════╝██╔══██╗
+;██║██╔██╗ ██║ ██║ █████╗ ██████╔╝██████╔╝██████╔╝█████╗ ██║ █████╗ ██████╔╝
+;██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗██╔═══╝ ██╔══██╗██╔══╝ ██║ ██╔══╝ ██╔══██╗
+;██║██║ ╚████║ ██║ ███████╗██║ ██║██║ ██║ ██║███████╗ ██║ ███████╗██║ ██║
+;╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝╚══════╝ ╚═╝ ╚══════╝╚═╝ ╚═╝
+;Interpreter
+
(define (joy stack expression dict)
+ ;(joy-trace stack expression)
(if (null? expression)
(values stack dict)
(if (string? (car expression))
(define (joy-eval symbol stack expression dict)
(define (is-it? name) (string=? symbol name))
(cond
- ((is-it? "+") (values (joy-add stack) expression dict))
- ((is-it? "-") (values (joy-sub stack) expression dict))
- ((is-it? "mul") (values (joy-mul stack) expression dict))
- ((is-it? "dup") (values (joy-dup stack) expression dict))
+ ((is-it? "+") ((joy-func +) stack expression dict))
+ ((is-it? "-") ((joy-func -) stack expression dict))
+ ((is-it? "*") ((joy-func *) stack expression dict))
+ ((is-it? "/") ((joy-func quotient) stack expression dict)) ; but for negative divisor, no!?
+ ((is-it? "%") ((joy-func modulo) stack expression dict))
+
+ ((is-it? "add") ((joy-func +) stack expression dict))
+ ((is-it? "sub") ((joy-func -) stack expression dict))
+ ((is-it? "mul") ((joy-func *) stack expression dict))
+ ((is-it? "div") ((joy-func quotient) stack expression dict)) ; but for negative divisor, no!?
+ ((is-it? "mod") ((joy-func modulo) stack expression dict))
+
+ ((is-it? "<") ((joy-func <) stack expression dict))
+ ((is-it? ">") ((joy-func >) stack expression dict))
+ ((is-it? "<=") ((joy-func <=) stack expression dict))
+ ((is-it? ">=") ((joy-func >=) stack expression dict))
+ ((is-it? "=") ((joy-func =) stack expression dict))
+ ((is-it? "<>") ((joy-func not-equal) stack expression dict))
+ ((is-it? "!=") ((joy-func not-equal) stack expression dict))
+
+ ((is-it? "bool") (joy-bool stack expression dict))
+
+ ((is-it? "dup") (values (cons (car stack) stack) expression dict))
+ ((is-it? "pop") (values (cdr stack) expression dict))
+ ((is-it? "stack") (values (cons stack stack) expression dict))
+ ((is-it? "swaack") (values (cons (cdr stack) (car stack)) expression dict))
+ ((is-it? "swap") (values (cons (cadr stack) (cons (car stack) (cddr stack))) expression dict))
+
+ ((is-it? "concat") ((joy-func append) stack expression dict))
+ ((is-it? "cons") ((joy-func cons) stack expression dict))
+ ((is-it? "first") (values (cons (caar stack) (cdr stack)) expression dict))
+ ((is-it? "rest") (values (cons (cdar stack) (cdr stack)) expression dict))
+
+ ((is-it? "i") (joy-i stack expression dict))
+ ((is-it? "dip") (joy-dip stack expression dict))
+ ((is-it? "branch") (joy-branch stack expression dict))
+ ((is-it? "loop") (joy-loop stack expression dict))
+
((hash-table-exists? dict symbol)
(values stack (append (hash-table-ref dict symbol) expression) dict))
- (else (error "Unknown word."))))
-(define (joy-add stack) (cons (+ (cadr stack) (car stack)) (cddr stack)))
-(define (joy-sub stack) (cons (- (cadr stack) (car stack)) (cddr stack)))
-(define (joy-mul stack) (cons (* (cadr stack) (car stack)) (cddr stack)))
-(define (joy-dup stack) (cons (car stack) stack))
+ (else (error (conc "Unknown word: " symbol)))))
+
+(define (not-equal a b) (not (= a b)))
+
+(define (joy-func op)
+ (lambda (stack expression dict)
+ (values (cons (op (cadr stack) (car stack)) (cddr stack)) expression dict)))
+
+
+(define (joy-bool stack expression dict)
+ (values (cons (joy-bool-term (car stack)) (cdr stack)) expression dict))
+
+(define (joy-bool-term term)
+ (cond ((boolean? term) term)
+ ((number? term) (not-equal 0 term))
+ ((list? term) (not (null? term)))
+ (else #t)))
+; ██████╗ ██████╗ ███╗ ███╗██████╗ ██╗███╗ ██╗ █████╗ ████████╗ ██████╗ ██████╗ ███████╗
+;██╔════╝██╔═══██╗████╗ ████║██╔══██╗██║████╗ ██║██╔══██╗╚══██╔══╝██╔═══██╗██╔══██╗██╔════╝
+;██║ ██║ ██║██╔████╔██║██████╔╝██║██╔██╗ ██║███████║ ██║ ██║ ██║██████╔╝███████╗
+;██║ ██║ ██║██║╚██╔╝██║██╔══██╗██║██║╚██╗██║██╔══██║ ██║ ██║ ██║██╔══██╗╚════██║
+;╚██████╗╚██████╔╝██║ ╚═╝ ██║██████╔╝██║██║ ╚████║██║ ██║ ██║ ╚██████╔╝██║ ██║███████║
+; ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═════╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝
+;Combinators
+
+(define (joy-i stack expression dict)
+ (values (cdr stack) (append (car stack) expression) dict))
+
+(define (joy-dip stack expression dict)
+ (values (cddr stack)
+ (append (car stack) (cons (cadr stack) expression))
+ dict))
+
+(define (joy-branch stack expression dict)
+ (let ((flag (caddr stack))
+ (false_body (cadr stack))
+ (true_body (car stack)))
+ (values (cdddr stack)
+ (append (if flag true_body false_body) expression)
+ dict)))
+
+(define (joy-loop stack expression dict)
+ (let ((flag (cadr stack))
+ (body (car stack)))
+ (values (cddr stack)
+ (if flag (append body (cons body (cons "loop" expression))) expression)
+ dict)))
+
+
+;██████╗ █████╗ ██████╗ ███████╗███████╗██████╗
+;██╔══██╗██╔══██╗██╔══██╗██╔════╝██╔════╝██╔══██╗
+;██████╔╝███████║██████╔╝███████╗█████╗ ██████╔╝
+;██╔═══╝ ██╔══██║██╔══██╗╚════██║██╔══╝ ██╔══██╗
+;██║ ██║ ██║██║ ██║███████║███████╗██║ ██║
+;╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝╚══════╝╚═╝ ╚═╝
+;Parser
+
(define (string-replace str from to)
(string-intersperse (string-split str from #t) to))
(define (text->expression text) (parse (tokenize text)))
+;██████╗ ██████╗ ██╗███╗ ██╗████████╗███████╗██████╗
+;██╔══██╗██╔══██╗██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗
+;██████╔╝██████╔╝██║██╔██╗ ██║ ██║ █████╗ ██████╔╝
+;██╔═══╝ ██╔══██╗██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗
+;██║ ██║ ██║██║██║ ╚████║ ██║ ███████╗██║ ██║
+;╚═╝ ╚═╝ ╚═╝╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝
+;Printer
+
(define (joy-term->string term)
(cond ((boolean? term) (if term "true" "false"))
((number? term) (->string term))
(define (joy-expression->string expr)
(string-intersperse (map joy-term->string expr) " "))
-(define (doit text)
- (receive (stack _dict)
- (joy '() (text->expression text) (initialize))
- (joy-expression->string stack)))
+;██████╗ ███████╗███████╗██╗███╗ ██╗██╗████████╗██╗ ██████╗ ███╗ ██╗███████╗
+;██╔══██╗██╔════╝██╔════╝██║████╗ ██║██║╚══██╔══╝██║██╔═══██╗████╗ ██║██╔════╝
+;██║ ██║█████╗ █████╗ ██║██╔██╗ ██║██║ ██║ ██║██║ ██║██╔██╗ ██║███████╗
+;██║ ██║██╔══╝ ██╔══╝ ██║██║╚██╗██║██║ ██║ ██║██║ ██║██║╚██╗██║╚════██║
+;██████╔╝███████╗██║ ██║██║ ╚████║██║ ██║ ██║╚██████╔╝██║ ╚████║███████║
+;╚═════╝ ╚══════╝╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝╚══════╝
+;Definitions
(define (initialize)
- (load-defs (make-hash-table string=? string-hash)))
+ (load-defs! (make-hash-table string=? string-hash)))
-(define (load-defs dict)
- (map (lambda (def) (add-def def dict)) (defs)) ;defs is defined in defs.scm
+(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)
+(define (add-def! def dict)
(let ((def_list (text->expression def)))
(hash-table-set! dict (car def_list) (cdr def_list))))
-(display (doit "12 23 [[ ]] 23 4 - dup - [true] false 23 sqr"))
-(newline)
+;██████╗ ███████╗██████╗ ██╗
+;██╔══██╗██╔════╝██╔══██╗██║
+;██████╔╝█████╗ ██████╔╝██║
+;██╔══██╗██╔══╝ ██╔═══╝ ██║
+;██║ ██║███████╗██║ ███████╗
+;╚═╝ ╚═╝╚══════╝╚═╝ ╚══════╝
+;REPL
+
+(define (prompt) (display "joy? ") (read-line))
+
+(define (main-loop stack0 dict0)
+ (let ((text (prompt)))
+ (if (not (eof-object? text))
+ (receive (stack dict) (joy stack0 (text->expression text) dict0)
+ (print (joy-expression->string (reverse stack)))
+ (main-loop stack dict))
+ (print))))
+
+(define (joy-trace stack expression)
+ (print (conc (joy-expression->string (reverse stack)) " . " (joy-expression->string expression))))
+
+(main-loop '() (initialize))
+
+
+;(display (doit "5 [] cons [4] concat first"))
+;(display (doit "5 down_to_zero"))
+;(display (doit "1 2 true [4 5 false] loop <"))
+;(newline)