miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

First impl of type-systems-as-vau-instead-of-macros in new-new-kraken

Browse Source
This commit is contained in:
Nathan Braswell
2020-10-20 22:11:57 -04:00
parent 168589c364
commit 371f39c82b
1 changed files with 32 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
types.kp Normal file
View File

@@ -0,0 +1,32 @@
(let (
check_and_erase (lambda (x type)
(let (xe (x)
xi (idx xe 0)
xt (idx xe 1))
(if (= type xt) xi (println "\n\nType error, expected" type "but got" xt "\n\n")))
)
add_one_impl (lambda (x) (+ x 1))
stlc (array
(array (quote WS) (array "( | |
|(;[ -~]*
))+") (lambda (x) nil))
(array (quote stlc_expr) (array "-?[0-9]+") (lambda (x) (lambda () (array (read-string x) (quote int)))))
(array (quote stlc_expr) (array "plus") (lambda (x) (lambda () (array + (quote (int int int))))))
(array (quote stlc_expr) (array "call" (quote WS) (quote stlc_expr) (quote WS) (quote stlc_expr) (quote WS) (quote stlc_expr)) (lambda (_ _ c _ a _ b) (lambda () (let (
ae (check_and_erase a (quote int))
be (check_and_erase b (quote int))
ce (check_and_erase c (quote (int int int)))
)
(array (ce ae be) (quote int))
))))
(array (quote stlc) (array (quote stlc_expr)) (lambda (x) (check_and_erase x (quote int))))
)
our_expr "call 4 13 20"
)
(println "\n\nExpr evaluates to" (eval (read-string our_expr stlc (quote stlc))) "\n")
)