提交: fc5364cb07370fb5aa5fdc2d03980c4c22d8de1e - cammy (git)

A categorical programming language

Commit MetaInfo

• 修訂: fc5364cb07370fb5aa5fdc2d03980c4c22d8de1e (tree)
• 時間: 2023-02-16 07:44:47
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Hammer out the core of an interpreter for CCCs with NNO.

The only thing I don't really like is the encoding of curries, but I'm
willing to trade readability for speed here.

Change Summary

• modified: movelist/cammy.scm

差異

--- a/movelist/cammy.scm
+++ b/movelist/cammy.scm
@@ -2,10 +2,27 @@
   (import scheme
           matchable)
 
-  (define cammy-compile
+  (define cammy-compile-aux
     (match-lambda
       ['id (lambda (x) x)]
+      [`(comp ,f ,g) (lambda (x) (g (f x)))]
+      ['ignore (lambda (_) '*)]
+      [`(pair ,f ,g) (lambda (x) (cons (f x) (g x)))]
+      [`(curry ,f) (lambda (x) (lambda (y) (f (cons x y))))]
+      [`(uncurry ,f) (lambda (x) ((f (car x)) (cdr x)))]
+      ['fst car] ['snd cdr]
+      ['t (lambda (_) #t)] ['f (lambda (_) #f)]
+      ['not not]
       ['zero (lambda (_) 0)]
       ['succ (lambda (n) (+ n 1))]
+      [`(pr ,f ,g)
+        (lambda (x)
+          (let loop ((n x) (acc (f '*)))
+            (if (= n 0) acc (loop (- n 1) (g acc)))))]
       ))
+
+  (define (cammy-compile expr)
+    (if (list? expr)
+      (cammy-compile-aux (cons (car expr) (map cammy-compile (cdr expr))))
+      (cammy-compile-aux expr)))
 )