git @ Cat's Eye Technologies Pixley / 7f484f9
Add wrap-in-Pixley-interpreter method to PixleyController. Cat's Eye Technologies 11 years ago
2 changed file(s) with 142 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all
+131
-2
impl/pixley.js/demo/pixley.html less more
1212 color: white;
1313 background: blue;
1414 border: 1px solid green;
15 font-family: monospace;
1516 }
1617 </style>
1718 </head>
3031 <button id="start">Start</button>
3132 <button id="stop">Stop</button>
3233 <button id="step">Step</button>
33 Speed: <input id="speed" type="range" min="0" max="200" value="0" />
34 <button onclick="c.wrapIt();">Wrap it!</button>
35 <input id="speed" type="range" min="0" max="200" value="0" />
36 <span id="status"></span>
3437
3538 <div>
3639 example source:
4952 </span>
5053 </div>
5154
52 <pre id="display"></pre>
55 <div id="display"></div>
5356
5457 <textarea id="program" rows="25" cols="40"
5558 >(cons (quote a) (cons (quote b) ())</textarea>
8588 >(let*
8689 ((pair (lambda (x) (cons x (cons x ())))))
8790 (pair (quote (hi there))))</div>
91
92 <div id="pixley-interpreter" style="display: none;"
93 >(lambda (program)
94 (let* ((interpreter (lambda (interpret program env)
95 (let* ((cadr (lambda (alist)
96 (car (cdr alist))))
97 (null? (lambda (expr)
98 (equal? expr (quote ()))))
99 (find (lambda (self elem alist)
100 (cond
101 ((null? alist)
102 (quote nothing))
103 (else
104 (let* ((entry (car alist))
105 (key (car entry))
106 (rest (cdr alist)))
107 (cond
108 ((equal? elem key)
109 entry)
110 (else
111 (self self elem rest))))))))
112 (interpret-args (lambda (interpret-args args env)
113 (cond
114 ((null? args)
115 args)
116 (else
117 (let* ((arg (car args))
118 (rest (cdr args)))
119 (cons (interpret interpret arg env) (interpret-args interpret-args rest env)))))))
120 (expand-args (lambda (expand-args formals argvals)
121 (cond
122 ((null? formals)
123 formals)
124 (else
125 (let* ((formal (car formals))
126 (rest-formals (cdr formals))
127 (argval (car argvals))
128 (rest-argvals (cdr argvals)))
129 (cons (cons formal (cons argval (quote ()))) (expand-args expand-args rest-formals rest-argvals)))))))
130 (concat-envs (lambda (concat-envs new-env old-env)
131 (cond
132 ((null? new-env)
133 old-env)
134 (else
135 (let* ((entry (car new-env))
136 (rest (cdr new-env)))
137 (cons entry (concat-envs concat-envs rest old-env)))))))
138 (call-lambda (lambda (func args env)
139 (let* ((arg-vals (interpret-args interpret-args args env)))
140 (func arg-vals)))))
141 (cond
142 ((null? program)
143 program)
144 ((list? program)
145 (let* ((tag (car program))
146 (args (cdr program))
147 (entry (find find tag env)))
148 (cond
149 ((list? entry)
150 (call-lambda (cadr entry) args env))
151 ((equal? tag (quote lambda))
152 (let* ((formals (car args))
153 (body (cadr args)))
154 (lambda (arg-vals)
155 (let* ((arg-env (expand-args expand-args formals arg-vals))
156 (new-env (concat-envs concat-envs arg-env env)))
157 (interpret interpret body new-env)))))
158 ((equal? tag (quote cond))
159 (cond
160 ((null? args)
161 args)
162 (else
163 (let* ((branch (car args))
164 (test (car branch))
165 (expr (cadr branch)))
166 (cond
167 ((equal? test (quote else))
168 (interpret interpret expr env))
169 ((interpret interpret test env)
170 (interpret interpret expr env))
171 (else
172 (let* ((branches (cdr args))
173 (newprog (cons (quote cond) branches)))
174 (interpret interpret newprog env))))))))
175 ((equal? tag (quote let*))
176 (let* ((bindings (car args))
177 (body (cadr args)))
178 (cond
179 ((null? bindings)
180 (interpret interpret body env))
181 (else
182 (let* ((binding (car bindings))
183 (rest (cdr bindings))
184 (ident (car binding))
185 (expr (cadr binding))
186 (value (interpret interpret expr env))
187 (new-bi (cons ident (cons value (quote ()))))
188 (new-env (cons new-bi env))
189 (newprog (cons (quote let*) (cons rest (cons body (quote ()))))))
190 (interpret interpret newprog new-env))))))
191 ((equal? tag (quote list?))
192 (list? (interpret interpret (car args) env)))
193 ((equal? tag (quote quote))
194 (car args))
195 ((equal? tag (quote car))
196 (car (interpret interpret (car args) env)))
197 ((equal? tag (quote cdr))
198 (cdr (interpret interpret (car args) env)))
199 ((equal? tag (quote cons))
200 (cons (interpret interpret (car args) env) (interpret interpret (cadr args) env)))
201 ((equal? tag (quote equal?))
202 (equal? (interpret interpret (car args) env) (interpret interpret (cadr args) env)))
203 ((null? tag)
204 tag)
205 ((list? tag)
206 (call-lambda (interpret interpret tag env) args env))
207 (else
208 (call-lambda tag args env)))))
209 (else
210 (let* ((entry (find find program env)))
211 (cond
212 ((list? entry)
213 (cadr entry))
214 (else
215 (quote illegal-program-error))))))))))
216 (interpreter interpreter program (quote ()))))</div>
88217
89218 </body>
90219 <script src="../src/pixley.js"></script>
+11
-2
impl/pixley.js/src/pixley-controller.js less more
11 * requires yoob.Controller and pixley.js
22 */
33 function PixleyController() {
4 var intervalId;
54 var finished;
5 var status = document.getElementById('status');
66
77 this.init = function(c) {
88 this.ast = undefined;
99 finished = false;
10 status.innerHTML = 'Ready.';
1011 };
1112
1213 this.draw = function() {
1617
1718 this.step = function() {
1819 if (finished) return;
19 result = evalPixley(this.ast, {});
20 status.innerHTML = 'Evaluating...';
21 var result = evalPixley(this.ast, {});
2022 alert(depict(result));
2123 finished = true;
24 status.innerHTML = 'Done.';
2225 this.draw();
2326 };
2427
3538 }
3639 this.draw();
3740 };
41
42 this.wrapIt = function() {
43 var pixley = document.getElementById('pixley-interpreter').innerHTML;
44 var text = '(' + pixley + ' (quote ' + depict(this.ast) + '))';
45 this.load(text);
46 };
3847 };
3948 PixleyController.prototype = new yoob.Controller();
4049