Commit: master - cammy (git)

A categorical programming language

Commit MetaInfo

• Revision: 94316419d77d60a26f67487754df350dfc1a0290 (tree)
• Time: 2024-06-30 10:09:30
• Author: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Add a sort of Maxwell's-laws presentation.

I don't personally put much stock in this sort of thing, but Alan Kay
and Douglas Crockford think it's essential.

Change Summary

• add: cammy-in-scheme.scm

Incremental Difference

--- /dev/null
+++ b/cammy-in-scheme.scm
@@ -0,0 +1,13 @@
+(define (id x) x) (define ((comp f g) x) (g (f x))) (define (ignore _) '1)
+(define ((pair f g) x) (cons (f x) (g x))) (define fst car) (define snd cdr)
+(define ((cas f g) x) ((if (car x) f g) (cdr x)))
+(define (left x) (cons #t x)) (define ((right x)) (cons #f x))
+(define (t _) #t) (define (f _) #f) (define (either b) (cons b '1))
+(define (conj x) (and (car x) (cdr x))) (define (disj x) (or (car x) (cdr x)))
+(define (((curry f) x) y) (f (cons x y)))
+(define ((uncurry f) p) ((f (car p)) (cdr p)))
+(define (zero _) 0) (define (succ x) (+ 1 x))
+(define ((pr x f) n) (if (zero? n) (x '1) (f ((pr x f) (- n 1)))))
+(define (nil _) '()) (define con id)
+(define ((fold x f) l)
+  (if (null? l) (x '1) (f (cons (car l) ((fold x f) (cdr l))))))