Compare commits

...

2 Commits

Author SHA1 Message Date
Scott Richmond
3a8a236f01 start work on interpreter 2024-05-14 20:44:54 -04:00
Scott Richmond
c68d08e8b2 fix imports 2024-05-14 20:44:43 -04:00
4 changed files with 66 additions and 12 deletions

0
janet/base.janet Normal file
View File

54
janet/interpreter.janet Normal file
View File

@ -0,0 +1,54 @@
# A tree walk interpreter for ludus
(var interpret nil)
(defn- iff [ast ctx]
(def [condition then else] (ast :data))
(if (interpret condition ctx)
(interpret then ctx)
(interpret else ctx)))
(defn- script [ast ctx]
(print "interpreting script")
(def lines (ast :data))
(var result nil)
(each line lines
(print "interpreting script line")
(set result (interpret line ctx)))
result)
(defn- interpret* [ast ctx]
(print "interpreting ast node " (ast :type))
(case (ast :type)
:nil nil
:number (ast :data)
:bool (ast :data)
:string (ast :data)
:keyword (ast :data)
:if (iff ast ctx)
:script (script ast ctx)))
(set interpret interpret*)
# repl
(try (os/cd "janet") ([_] nil))
(import ./scanner :as s)
(import ./parser :as p)
(import ./validate :as v)
(var source nil)
(defn run []
(def scanned (s/scan source))
(def parsed (p/parse scanned))
(def validated (v/valid parsed))
(pp parsed)
(interpret (parsed :ast) @{}))
(do
(set source `
if false then :bar else :baz
`)
(run)
)

View File

@ -1,7 +1,7 @@
### A recursive descent parser for Ludus
### We still need to scan some things
#(os/cd "janet") # when in repl to do relative imports
(try (os/cd "janet") ([_] nil)) # when in repl to do relative imports
(import ./scanner :as s)
(defmacro declare
@ -1090,8 +1090,8 @@
)
(do
#(comment
# (do
(comment
(def source `
loop (1, 2) with (x, y) -> :bar
`)

View File

@ -21,9 +21,9 @@ Imports are for a later iteration of Ludus:
* [ ] correct imports DEFERRED
)
(import ./recursive :as p)
(try (os/cd "janet") ([_] nil))
(import ./scanner :as s)
(import ./parser :as p)
(defn- new-validator [parser]
(def ast (parser :ast))
@ -583,8 +583,12 @@ Imports are for a later iteration of Ludus:
(set validate validate*)
(do
#(comment
(defn valid [ast]
(def validator (new-validator ast))
(validate validator))
# (do
(comment
(def source `
fn bar () -> :bar
fn foo () -> match :foo with {
@ -594,8 +598,4 @@ fn foo () -> match :foo with {
`)
(def scanned (s/scan source))
(def parsed (p/parse scanned))
(def validator (new-validator parsed))
(pp validator)
(validate validator)
(pp parsed)
)
(valid parsed))