From d2bddfe4ef53e2f96752090c9ba5c8c9ee973eed Mon Sep 17 00:00:00 2001
From: bnewbold <bnewbold@eta.mit.edu>
Date: Sat, 25 Apr 2009 23:07:32 -0400
Subject: project progress...

---
 final_project/brainstorming          | 12 --------
 final_project/cc-hash.scm            |  9 ++++++
 final_project/proposal/brainstorming | 12 ++++++++
 final_project/work/notes             | 57 ++++++++++++++++++++++++++++++++++++
 4 files changed, 78 insertions(+), 12 deletions(-)
 delete mode 100644 final_project/brainstorming
 create mode 100644 final_project/cc-hash.scm
 create mode 100644 final_project/proposal/brainstorming
 create mode 100644 final_project/work/notes

diff --git a/final_project/brainstorming b/final_project/brainstorming
deleted file mode 100644
index 667f162..0000000
--- a/final_project/brainstorming
+++ /dev/null
@@ -1,12 +0,0 @@
-links:
-http://mit.edu/bnewbold/thesis
-http://sagemath.org
-http://www.grame.fr/Research/GCalcul/Graphic_Calculus.html
-http://birkholz.chandler.az.us/~matt/Scheme/
-http://eta.xvm.mit.edu (user: admin, pass: password)
-
-Possible projects:
-
-() sage math interface to MIT/GNU scheme
-() GTK+ stuff, plotting, visual programming
-() tensor analysis computer algebra stuff
diff --git a/final_project/cc-hash.scm b/final_project/cc-hash.scm
new file mode 100644
index 0000000..832f429
--- /dev/null
+++ b/final_project/cc-hash.scm
@@ -0,0 +1,9 @@
+
+
+(define (step)
+  (call-with-current-continuation
+   (lambda (c)
+     (set! step c)
+     c)))
+
+(step)
diff --git a/final_project/proposal/brainstorming b/final_project/proposal/brainstorming
new file mode 100644
index 0000000..667f162
--- /dev/null
+++ b/final_project/proposal/brainstorming
@@ -0,0 +1,12 @@
+links:
+http://mit.edu/bnewbold/thesis
+http://sagemath.org
+http://www.grame.fr/Research/GCalcul/Graphic_Calculus.html
+http://birkholz.chandler.az.us/~matt/Scheme/
+http://eta.xvm.mit.edu (user: admin, pass: password)
+
+Possible projects:
+
+() sage math interface to MIT/GNU scheme
+() GTK+ stuff, plotting, visual programming
+() tensor analysis computer algebra stuff
diff --git a/final_project/work/notes b/final_project/work/notes
new file mode 100644
index 0000000..f67cece
--- /dev/null
+++ b/final_project/work/notes
@@ -0,0 +1,57 @@
+
+Types in r5rS:
+----------------------------------------------------------------
+boolean, symbol, char, vector, pair, number, string, port, procedure
+
+for numbers, the tower goes
+
+ { number { complex { real { rational { integer }}}}}
+
+
+Useful mechanics things (from manual/refman.txt):
+----------------------------------------------------------------
+I think a lot of these are r5rs
+
+(type x)        
+    returns the type (eg, *vector*)
+
+(type-predicate x)
+    returns a predicate that returns true for objects of the same type
+    as x
+
+(arity p)
+    what it sounds like when p is a procedure
+
+(structure? x)
+    predicate for structured objects
+
+(sigma f low high)
+    sums over integers inclusive form low to high
+
+Mechanics package primatives (?):
+----------------------------------------------------------------
+number, vector, matrix, function
+
+unary operators go like ((U f) x) = (U (f x))
+
+binary operators go like ((B f g) x) = (B (f x) (g x))
+
+operators are functions that are "sticky" and act like multiplication?
+
+the primative types might actually be a symbolic expression which would return
+the same type, eg (*number* (sin (+ 4 'b)))
+
+Other mechanics structures (?):
+----------------------------------------------------------------
+
+(up 1 2 3)
+    "up" tuple
+
+(down 4 5 6)
+    "down" tuple
+
+(matrix-by-rows '(1 2 3) '(4 5 6) '(7 8 9))
+    M by N matrix
+
+(series 0.5 0.4 0.3 0.2 0.1)
+    power series with the given coefficients. serieses can be finite or streams
-- 
cgit v1.2.3