getting the evaluator to do something.
This commit is contained in:
Danny Yoo
parent
627a360499
commit
9d7124fb21
125
browser-evaluate.rkt
Normal file
125
browser-evaluate.rkt
Normal file
|
|
@ -0,0 +1,125 @@
|
||||||
|
#lang racket/base
|
||||||
|
|
||||||
|
(require net/sendurl
|
||||||
|
racket/list
|
||||||
|
web-server/servlet
|
||||||
|
web-server/servlet-env
|
||||||
|
"package.rkt")
|
||||||
|
|
||||||
|
;; A hacky way to test the evaluation.
|
||||||
|
|
||||||
|
|
||||||
|
;; Channel's meant to serialize use of the web server.
|
||||||
|
(define ch (make-channel))
|
||||||
|
|
||||||
|
|
||||||
|
;; start up the web server
|
||||||
|
;; The web server responds to two types of requests
|
||||||
|
;; ?p Inputting a program
|
||||||
|
;; ?r Getting a response
|
||||||
|
(void
|
||||||
|
(thread (lambda ()
|
||||||
|
(define (start req)
|
||||||
|
(cond
|
||||||
|
[(exists-binding? 'p (request-bindings req))
|
||||||
|
;; Create a web page whose content contains
|
||||||
|
;; the script.
|
||||||
|
(let ([program (channel-get ch)]
|
||||||
|
[op (open-output-bytes)])
|
||||||
|
(fprintf op #<<EOF
|
||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<script>
|
||||||
|
EOF
|
||||||
|
)
|
||||||
|
(package program op)
|
||||||
|
(fprintf op #<<EOF
|
||||||
|
</script>
|
||||||
|
<script>
|
||||||
|
// http://www.quirksmode.org/js/xmlhttp.html
|
||||||
|
//
|
||||||
|
function sendRequest(url,callback,postData) {
|
||||||
|
var req = createXMLHTTPObject();
|
||||||
|
if (!req) return;
|
||||||
|
var method = (postData) ? "POST" : "GET";
|
||||||
|
req.open(method,url,true);
|
||||||
|
req.setRequestHeader('User-Agent','XMLHTTP/1.0');
|
||||||
|
if (postData) {
|
||||||
|
req.setRequestHeader('Content-type','application/x-www-form-urlencoded');
|
||||||
|
}
|
||||||
|
req.onreadystatechange = function () {
|
||||||
|
if (req.readyState != 4) return;
|
||||||
|
if (req.status != 200 && req.status != 304) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
callback(req);
|
||||||
|
}
|
||||||
|
if (req.readyState == 4) return;
|
||||||
|
req.send(postData);
|
||||||
|
}
|
||||||
|
|
||||||
|
var XMLHttpFactories = [
|
||||||
|
function () {return new XMLHttpRequest()},
|
||||||
|
function () {return new ActiveXObject("Msxml2.XMLHTTP")},
|
||||||
|
function () {return new ActiveXObject("Msxml3.XMLHTTP")},
|
||||||
|
function () {return new ActiveXObject("Microsoft.XMLHTTP")}
|
||||||
|
];
|
||||||
|
|
||||||
|
function createXMLHTTPObject() {
|
||||||
|
var xmlhttp = false;
|
||||||
|
for (var i=0;i<XMLHttpFactories.length;i++) {
|
||||||
|
try {
|
||||||
|
xmlhttp = XMLHttpFactories[i]();
|
||||||
|
}
|
||||||
|
catch (e) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
return xmlhttp;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
var whenLoaded = function() {
|
||||||
|
invoke(function(v) {
|
||||||
|
alert('ok');
|
||||||
|
sendRequest("/eval", function(req) {},
|
||||||
|
"r=" + encodeURIComponent(v));
|
||||||
|
});
|
||||||
|
};
|
||||||
|
</script>
|
||||||
|
</head>
|
||||||
|
<body onload="whenLoaded()">
|
||||||
|
<p>Running program.</p>
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
|
EOF
|
||||||
|
)
|
||||||
|
(response/full 200 #"Okay"
|
||||||
|
(current-seconds)
|
||||||
|
TEXT/HTML-MIME-TYPE
|
||||||
|
empty
|
||||||
|
(list #"" (get-output-bytes op))))]
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
[(exists-binding? 'r (request-bindings req))
|
||||||
|
(channel-put ch (extract-binding/single 'r (request-bindings req)))
|
||||||
|
`(html (body (p "ok")))]
|
||||||
|
[else
|
||||||
|
`(html (body (p "Loaded")))]))
|
||||||
|
|
||||||
|
(serve/servlet start
|
||||||
|
#:banner? #f
|
||||||
|
#:launch-browser? #f
|
||||||
|
#:quit? #f
|
||||||
|
#:port 8080
|
||||||
|
#:servlet-path "/eval"))))
|
||||||
|
|
||||||
|
|
||||||
|
;; A little driver to test the evalution of expressions, using a browser to help.
|
||||||
|
(define (evaluate e)
|
||||||
|
;; Send the program to the web browser, and wait for the thread to send back
|
||||||
|
(send-url "http://localhost:8080/eval?p=t" #f)
|
||||||
|
(channel-put ch e)
|
||||||
|
(channel-get ch))
|
||||||
3
experiments/gauss/notes.txt
Normal file
3
experiments/gauss/notes.txt
Normal file
|
|
@ -0,0 +1,3 @@
|
||||||
|
Racket is about 20 times slower than C on gauss.
|
||||||
|
|
||||||
|
My compiled output is about 60 times slower than a raw JavaScript loop.
|
||||||
32
package.rkt
32
package.rkt
|
|
@ -6,6 +6,9 @@
|
||||||
"typed-parse.rkt"
|
"typed-parse.rkt"
|
||||||
racket/runtime-path
|
racket/runtime-path
|
||||||
racket/port)
|
racket/port)
|
||||||
|
|
||||||
|
(provide package)
|
||||||
|
|
||||||
;; Packager: produce single .js files to be included.
|
;; Packager: produce single .js files to be included.
|
||||||
|
|
||||||
(define-runtime-path runtime.js "runtime.js")
|
(define-runtime-path runtime.js "runtime.js")
|
||||||
|
|
@ -24,32 +27,3 @@
|
||||||
(fprintf op ";\n"))
|
(fprintf op ";\n"))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
(define (test s-exp)
|
|
||||||
(package s-exp (current-output-port)))
|
|
||||||
|
|
||||||
|
|
||||||
(test '(define (factorial n)
|
|
||||||
(if (= n 0)
|
|
||||||
1
|
|
||||||
(* (factorial (- n 1))
|
|
||||||
n))))
|
|
||||||
#;(test '(begin
|
|
||||||
(define (factorial n)
|
|
||||||
(fact-iter n 1))
|
|
||||||
(define (fact-iter n acc)
|
|
||||||
(if (= n 0)
|
|
||||||
acc
|
|
||||||
(fact-iter (- n 1) (* acc n))))))
|
|
||||||
|
|
||||||
#;(test '(define (gauss n)
|
|
||||||
(if (= n 0)
|
|
||||||
0
|
|
||||||
(+ (gauss (- n 1))
|
|
||||||
n))))
|
|
||||||
|
|
||||||
#;(test '(define (fib n)
|
|
||||||
(if (< n 2)
|
|
||||||
1
|
|
||||||
(+ (fib (- n 1))
|
|
||||||
(fib (- n 2))))))
|
|
||||||
Loading…
Reference in New Issue
Block a user