提交: e6929cea3d82f54de43e8eb5a6bdb0904daa130e - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: e6929cea3d82f54de43e8eb5a6bdb0904daa130e (tree)
• 时间: 2021-08-18 01:18:12
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Compile sums to Scheme.

更改概述

• modified: finish.py
• modified: shell.nix
• modified: stub.scm

差异

--- a/finish.py
+++ b/finish.py
@@ -25,8 +25,8 @@ with open("stub.scm", "r", encoding="utf-8") as handle:
 
 with open(sys.argv[-2], "r", encoding="utf-8") as handle:
     program = handle.read().strip()
-    program = program.replace("cons", "cammy-cons")
-    program = program.replace("map", "cammy-map")
+    for comb in ("case", "cons", "map"):
+        program = program.replace(comb, "cammy-" + comb)
     print("(define program {})".format(program))
 
 print("""

--- a/shell.nix
+++ b/shell.nix
@@ -7,7 +7,8 @@ in pkgs.stdenv.mkDerivation {
     # debugging native code
     gdb
     # debugging stub.scm
-    chicken rlwrap
+    chicken rlwrap ] ++
+    (with chickenPackages.chickenEggs; [ srfi-189 ]) ++ [
     # maintaining frame/
     ocamlformat
     # debugging stub.ml

--- a/stub.scm
+++ b/stub.scm
@@ -1,7 +1,5 @@
-(import (srfi 6))
-(import (chicken condition))
-(import (chicken format))
-(import (chicken string))
+(import (srfi 6) (srfi 189))
+(import (chicken condition) (chicken format) (chicken string))
 
 (define id (lambda (x) x))
 (define (comp f g) (lambda (x) (g (f x))))
@@ -14,6 +12,8 @@
 
 (define swap (lambda (x) (cons (cdr x) (car x))))
 
+(define (cammy-case f g) (lambda (x) (either-ref x f g)))
+
 (define (curry f) (lambda (x) (lambda (y) (f (cons x y)))))
 (define (uncurry f) (lambda (xy) ((f (car xy)) (cdr xy))))
 (define app (lambda (fx) ((car fx) (cdr fx))))