continuing to polish
This commit is contained in:
Danny Yoo
parent
b4f498131a
commit
42cb4dc711
5
racketcon/Makefile
Normal file
5
racketcon/Makefile
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
#!/bin/sh
|
||||||
|
|
||||||
|
all:
|
||||||
|
../whalesong get-javascript --verbose fact.rkt > fact.js
|
||||||
|
../whalesong get-runtime --verbose > runtime.js
|
||||||
32
racketcon/fact.html
Normal file
32
racketcon/fact.html
Normal file
|
|
@ -0,0 +1,32 @@
|
||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
|
||||||
|
<script src="runtime.js"></script>
|
||||||
|
<script src="fact.js"></script>
|
||||||
|
|
||||||
|
<script>
|
||||||
|
plt.runtime.invokeMains();
|
||||||
|
|
||||||
|
plt.runtime.ready(function() {
|
||||||
|
var myFactClosure = plt.runtime.lookupInMains('fact');
|
||||||
|
var myFact = plt.baselib.functions.asJavaScriptFunction(
|
||||||
|
myFactClosure);
|
||||||
|
|
||||||
|
myFact(function(v) {
|
||||||
|
$('#answer').text('computed. Printing...');
|
||||||
|
setTimeout(function() { $('#answer').text(v.toString()); }, 0);
|
||||||
|
},
|
||||||
|
function(err) {
|
||||||
|
$('#answer').text(err.message).css("color", "red");
|
||||||
|
},
|
||||||
|
10000
|
||||||
|
// "one-billion-dollars"
|
||||||
|
);
|
||||||
|
});
|
||||||
|
</script>
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<body>
|
||||||
|
The factorial of 10000 is <span id="answer">being computed</span>.
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
11
racketcon/fact.rkt
Normal file
11
racketcon/fact.rkt
Normal file
|
|
@ -0,0 +1,11 @@
|
||||||
|
#lang planet dyoo/whalesong
|
||||||
|
(provide fact)
|
||||||
|
(define (fact x)
|
||||||
|
(cond
|
||||||
|
[(= x 0)
|
||||||
|
1]
|
||||||
|
[else
|
||||||
|
(* x (fact (sub1 x)))]))
|
||||||
|
|
||||||
|
|
||||||
|
;;(printf "test: ~s\n" (fact 4))
|
||||||
58
racketcon/racket-days-abstract.txt
Normal file
58
racketcon/racket-days-abstract.txt
Normal file
|
|
@ -0,0 +1,58 @@
|
||||||
|
What's Whalesong? It's a Racket to JavaScript compiler. Whalesong
|
||||||
|
will be used to support World programming for the web. It will be the
|
||||||
|
evaluator for the upcoming versions of Moby Scheme, as well as
|
||||||
|
WeScheme.
|
||||||
|
|
||||||
|
|
||||||
|
We can support simple animations, as you'd expect:
|
||||||
|
|
||||||
|
(Show a world program: the falling rain drops program.)
|
||||||
|
|
||||||
|
|
||||||
|
We can do programs that have interactivity, such as:
|
||||||
|
|
||||||
|
(Show another world program: pacman.)
|
||||||
|
|
||||||
|
|
||||||
|
A core idea behind Whalesong is to reuse Racket's infrastructure as
|
||||||
|
much as possible. I'm not a compiler person, so I cheat, by
|
||||||
|
piggibacking on Matthew's work. Whalesong reuses the bytecode
|
||||||
|
compiler, and translates the bytecode to JavaScript.
|
||||||
|
|
||||||
|
I really am reusing the linguistic features of Racket. For example,
|
||||||
|
let's look at the less-than-impressive program output below.
|
||||||
|
|
||||||
|
(Show the hello world program)
|
||||||
|
|
||||||
|
|
||||||
|
This is trivial, right? Let's look at the source code.
|
||||||
|
|
||||||
|
(Reveal that the program was written in BF)
|
||||||
|
|
||||||
|
|
||||||
|
Yes, this is unholy, but it works. We really are using Racket's
|
||||||
|
underlying language features to handle reading, macro expansion, and
|
||||||
|
optimization.
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
Because we're on the web, we may even want to use functions that we've
|
||||||
|
written in Racket as a part of regular web pages. Whalesong lets us
|
||||||
|
do this.
|
||||||
|
|
||||||
|
(Show the factorial example, and how it can be used by external
|
||||||
|
JavaScript on a web page.)
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
There's quite a bit that's missing: we don't yet have all of the
|
||||||
|
primitives necessary to compile racket/base, so all Whalesong programs
|
||||||
|
currently have to be in a language that ultimately bottoms to (planet
|
||||||
|
dyoo/whalesong/lang/base).
|
||||||
|
|
||||||
|
I'm going to get a release out in the following month, and the new
|
||||||
|
versions of Moby Scheme for Smartphones, as well as the WeScheme
|
||||||
|
environment, will be using the underlying evaluator of Whalesong.
|
||||||
|
|
||||||
|
|
||||||
|
If you're interested, please talk to me during the break. Thanks!
|
||||||
|
|
@ -15,11 +15,15 @@
|
||||||
(above
|
(above
|
||||||
(text "Whalesong:" 100 "black")
|
(text "Whalesong:" 100 "black")
|
||||||
(text "a Racket to JavaScript Compiler" 80 "black")
|
(text "a Racket to JavaScript Compiler" 80 "black")
|
||||||
(image-url "file:///home/dyoo/work/whalesong/racketcon/plt-logo.png"))
|
(scale 2 (image-url "file:///home/dyoo/work/whalesong/racketcon/plt-logo.png"))
|
||||||
|
(square 20 "solid" "white")
|
||||||
|
(text "Danny Yoo (dyoo@hashcollision.org)" 50 "darkblue"))
|
||||||
"Why Whalesong?"
|
"Why Whalesong?"
|
||||||
"World programs on the web"
|
"World programs on the web"
|
||||||
"Reusing Racket..."
|
(above (text "Reusing Racket's compiler..." font-size "black")
|
||||||
"Hello world!"
|
(square 20 "solid" "white")
|
||||||
|
(text "Hello world?" (floor (* font-size 2/3)) "black"))
|
||||||
|
"Web programs can use Racket"
|
||||||
"What's missing?"
|
"What's missing?"
|
||||||
"http://hashcollision.org/whalesong"))
|
"http://hashcollision.org/whalesong"))
|
||||||
|
|
||||||
|
|
@ -60,7 +64,10 @@
|
||||||
(quotient (image-width bg) 2)
|
(quotient (image-width bg) 2)
|
||||||
(quotient (image-height bg) 2)
|
(quotient (image-height bg) 2)
|
||||||
bg)])))
|
bg)])))
|
||||||
|
|
||||||
|
(define (tick w)
|
||||||
|
w)
|
||||||
|
|
||||||
|
|
||||||
(define (my-max x y)
|
(define (my-max x y)
|
||||||
(if (> x y)
|
(if (> x y)
|
||||||
|
|
@ -76,4 +83,5 @@
|
||||||
|
|
||||||
(big-bang 0
|
(big-bang 0
|
||||||
(on-key key)
|
(on-key key)
|
||||||
(to-draw draw))
|
(on-tick tick)
|
||||||
|
(to-draw draw))
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user