add example and test

.github/workflows/mita-test.yml

@@ -0,0 +1,21 @@
+name: MITA LISP Library Test
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  test-mita-lisp:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Go
+        uses: actions/setup-go@v3
+        with:
+          go-version: 1.21
+      - name: Build MITA
+        run: go build -o mita ./cmd/mita/main.go
+      - name: Run odomu.mita LISP tests
+        run: ./mita odomu.mita examples/odomu_test.mita 

elementary.go

@@ -112,7 +112,6 @@ func aba(a, b int) bool       { return a < b }
 func unta(a, b int) bool      { return a > b }
 func abaShato(a, b int) bool  { return a <= b }
 func untaShato(a, b int) bool { return a >= b }
-func shato(a, b int) bool     { return a == b }
 func nyeShato(a, b int) bool  { return a != b }
 
 func (c *Context) boolFunc(expr *Expr, fn func(a, b int) bool) *Expr {
@@ -123,7 +122,6 @@ func (c *Context) abaFunc(name *token, expr *Expr) *Expr       { return c.boolFu
 func (c *Context) untaFunc(name *token, expr *Expr) *Expr      { return c.boolFunc(expr, unta) }
 func (c *Context) abaShatoFunc(name *token, expr *Expr) *Expr  { return c.boolFunc(expr, abaShato) }
 func (c *Context) untaShatoFunc(name *token, expr *Expr) *Expr { return c.boolFunc(expr, untaShato) }
-func (c *Context) shatoFunc(name *token, expr *Expr) *Expr     { return c.boolFunc(expr, shato) }
 func (c *Context) nyeShatoFunc(name *token, expr *Expr) *Expr  { return c.boolFunc(expr, nyeShato) }
 
 func celi(a, b int) int   { return a + b }
@@ -140,3 +138,32 @@ func (c *Context) celiFunc(name *token, expr *Expr) *Expr   { return c.mathFunc(
 func (c *Context) movoFunc(name *token, expr *Expr) *Expr   { return c.mathFunc(expr, movo) }
 func (c *Context) celiDaFunc(name *token, expr *Expr) *Expr { return c.mathFunc(expr, celida) }
 func (c *Context) movoDaFunc(name *token, expr *Expr) *Expr { return c.mathFunc(expr, movoda) }
+
+// deep equality for all Expr types
+func equalExpr(a, b *Expr) bool {
+	if a == nil && b == nil {
+		return true
+	}
+	if a == nil || b == nil {
+		return false
+	}
+	if a.sada != nil && b.sada != nil {
+		// compare tokenType and value
+		if a.sada.typ != b.sada.typ {
+			return false
+		}
+		if a.sada.typ == 4 { // tokenTypeNumber
+			return a.sada.num == b.sada.num
+		}
+		return a.sada.text == b.sada.text
+	}
+	if a.sada != nil || b.sada != nil {
+		return false
+	}
+	// both are cons cells
+	return equalExpr(a.lawa, b.lawa) && equalExpr(a.kucha, b.kucha)
+}
+
+func (c *Context) shatoFunc(name *token, expr *Expr) *Expr {
+	return truthExpr(equalExpr(Lawa(expr), Lawa(Kucha(expr))))
+}

examples/add.mita

@@ -0,0 +1 @@
+(celi unu du) ; => 3 

examples/car.mita

@@ -0,0 +1 @@
+(lawa '(unu du unudu)) ; => unu 

examples/cdr.mita

@@ -0,0 +1 @@
+(kucha '(unu du unudu)) ; => (du unudu) 

examples/compare.mita

@@ -0,0 +1,2 @@
+(aba unu du) ; => da
+(unta du unu) ; => da 

examples/cond.mita

@@ -0,0 +1 @@
+(dala ((shato unu du) 'yes) ('no)) ; => 'no 

examples/defn.mita

@@ -0,0 +1,4 @@
+(muhe(
+  (add2 (mita (x) (celi x du)))
+))
+(add2 unu) ; => 3 

examples/hello.mita

@@ -0,0 +1 @@
+(upa 'olah 'odomu) ; => (olah . odomu) 

examples/lambda.mita

@@ -0,0 +1 @@
+((mita (x) (celi x unu)) du) ; => 3 

examples/list.mita

@@ -0,0 +1 @@
+(lalalakukucha '((1 2) (3 4) ((5 6)) (7 8))) ; => 5 

examples/odomu_test.mita

@@ -0,0 +1,59 @@
+; cadr
+(cadr '(1 2 3)) ; => 2
+
+; caddr
+(caddr '(1 2 3)) ; => 3
+
+; cddr
+(cddr '(1 2 3)) ; => (3)
+
+; list
+(list 1 2 3) ; => (1 2 3)
+
+; length
+(length '(1 2 3)) ; => 3
+
+; map
+(map (mita (x) (celi x x)) '(1 2 3)) ; => (1 4 9)
+
+; filter
+(filter (mita (x) (aba x du)) '(1 2 3)) ; => (1)
+
+; reduce
+(reduce (mita (a b) (celi a b)) 0 '(1 2 3)) ; => 6
+
+; append
+(append '(1 2) '(3 4)) ; => (1 2 3 4)
+
+; reverse
+(reverse '(1 2 3)) ; => (3 2 1)
+
+; assoc
+(assoc 'b '((a 1) (b 2) (c 3))) ; => (b 2)
+
+; member
+(member 'a '(b a c)) ; => da
+
+; last
+(last '(1 2 3)) ; => 3
+
+; nth
+(nth 1 '(a b c)) ; => b
+
+; and
+(and da da nye) ; => nye
+
+; or
+(or nye da nye) ; => da
+
+; not
+(not da) ; => nye
+
+; equal
+(equal unu unu) ; => da
+
+; remove
+(remove 'a '(a b a c)) ; => (b c)
+
+; flatten
+(flatten '((1 2) (3 (4 5)))) ; => (1 2 3 4 5) 

odomu.mita

@@ -1,2 +1,93 @@
 (muhe(
+  ; cadr: (cadr '(1 2 3)) => 2
+  (cadr (mita (lst) (lawa (kucha lst))))
+
+  ; caddr: (caddr '(1 2 3)) => 3
+  (caddr (mita (lst) (lawa (kucha (kucha lst)))))
+
+  ; cddr: (cddr '(1 2 3)) => (3)
+  (cddr (mita (lst) (kucha (kucha lst))))
+
+  ; list: (list 1 2 3) => (1 2 3)
+  (list (mita args args))
+
+  ; length: (length '(1 2 3)) => 3
+  (length (mita (lst)
+    (dala ((or (shato lst nya) (or (shato lst '()) (shato lst nil))) 0)
+      (da (celi unu (length (kucha lst)))))))
+
+  ; map: (map (mita (x) (celi x x)) '(1 2 3)) => (1 4 9)
+  (map (mita (f lst)
+    (dala ((shato lst nya) '())
+      (da (upa (f (lawa lst)) (map f (kucha lst)))))))
+
+  ; filter: (filter (mita (x) (aba x du)) '(1 2 3)) => (1)
+  (filter (mita (pred lst)
+    (dala ((shato lst nya) '())
+      (da (dala ((pred (lawa lst))
+        (upa (lawa lst) (filter pred (kucha lst))))
+        (filter pred (kucha lst)))))))
+
+  ; reduce: (reduce (mita (a b) (celi a b)) 0 '(1 2 3)) => 6
+  (reduce (mita (f acc lst)
+    (dala ((shato lst nya) acc)
+      (da (reduce f (f acc (lawa lst)) (kucha lst))))))
+
+  ; append: (append '(1 2) '(3 4)) => (1 2 3 4)
+  (append (mita (a b)
+    (dala ((shato a nya) b)
+      (da (upa (lawa a) (append (kucha a) b))))))
+
+  ; reverse: (reverse '(1 2 3)) => (3 2 1)
+  (reverse (mita (lst)
+    (reduce (mita (acc x) (upa x acc)) '() lst)))
+
+  ; assoc: (assoc 'b '((a 1) (b 2) (c 3))) => (b 2)
+  (assoc (mita (key alist)
+    (dala ((shato alist nya) nye)
+      (da (dala ((shato key (lawa (lawa alist))) (lawa alist))
+        (assoc key (kucha alist)))))))
+
+  ; member: (member 'a '(b a c)) => da
+  (member (mita (x lst)
+    (dala ((shato lst nya) nye)
+      (da (dala ((shato x (lawa lst)) da)
+        (member x (kucha lst)))))))
+
+  ; last: (last '(1 2 3)) => 3
+  (last (mita (lst)
+    (dala ((shato (kucha lst) nya) (lawa lst))
+      (da (last (kucha lst))))))
+
+  ; nth: (nth 1 '(a b c)) => b
+  (nth (mita (n lst)
+    (dala ((shato n 0) (lawa lst))
+      (da (nth (movo n unu) (kucha lst))))))
+
+  ; and: (and da da nye) => nye
+  (and (mita args
+    (reduce (mita (a b) (dala ((shato a da) b) a)) da args)))
+
+  ; or: (or nye da nye) => da
+  (or (mita args
+    (reduce (mita (a b) (dala ((shato a da) da) b)) nye args)))
+
+  ; not: (not (da)) => nye
+  (not (mita (x) (nyeshato x da)))
+
+  ; equal: (equal a b) => da/nye
+  (equal (mita (a b) (shato a b)))
+
+  ; remove: (remove 'a '(a b a c)) => (b c)
+  (remove (mita (x lst)
+    (dala ((shato lst nya) '())
+      (da (dala ((shato x (lawa lst)) (remove x (kucha lst)))
+        (upa (lawa lst) (remove x (kucha lst))))))))
+
+  ; flatten: (flatten '((1 2) (3 (4 5)))) => (1 2 3 4 5)
+  (flatten (mita (lst)
+    (dala ((shato lst nya) '())
+      (da (dala ((shato (lawa lst) nya) (flatten (kucha lst)))
+        (dala ((shato (lawa lst) '()) (flatten (kucha lst)))
+          (append (flatten (lawa lst)) (flatten (kucha lst)))))))))
 ))