suzanne.soy/whalesong
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adding tick-tock example with signatures

Browse Source
This commit is contained in:
Danny Yoo 2011-10-04 14:27:44 -04:00
parent f1618a2266
commit 40038edd82
8 changed files with 134 additions and 86 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
cs019/cs019.rkt
View File

@ -32,6 +32,7 @@
(require (prefix-in whalesong: "../lang/whalesong.rkt")) (require (prefix-in whalesong: "../lang/whalesong.rkt"))
(provide (except-out (filtered-out (provide (except-out (filtered-out
(lambda (name) (lambda (name)
@ -70,10 +71,17 @@
(require "../web-world.rkt") (require "../web-world.rkt")
(provide (all-from-out "../web-world.rkt")) (provide (all-from-out "../web-world.rkt"))
(define View$ (Sig: view?))
(provide View$)
(require "../resource.rkt") (require "../resource.rkt")
(provide (all-from-out "../resource.rkt")) (provide (all-from-out "../resource.rkt"))
(define Resource$ (Sig: resource?))
(provide Resource$)

2
examples/cs019/hello.rkt Normal file
View File

@ -0,0 +1,2 @@
#lang planet dyoo/whalesong/cs019
"hello world"

7
examples/cs019/tick-tock/index.html Normal file
View File

@ -0,0 +1,7 @@
<!DOCTYPE html>
<html>
<head><title>My simple program</title></head>
<body>
<p>The current counter is: <span id="counter">fill-me-in</span></p>
</body>
</html>

21
examples/cs019/tick-tock/tick-tock.rkt Normal file
View File

@ -0,0 +1,21 @@
#lang planet dyoo/whalesong/cs019
(define-resource index.html)
(define: (draw [world : Number$] [dom : View$]) -> View$
(update-view-text (view-focus dom "counter") world))
(define: (tick [world : Number$] [dom : View$]) -> Number$
(add1 world))
(define: (stop? [world : Number$] [dom : View$]) -> Boolean$
(> world 10))
(big-bang 0
(initial-view index.html)
(to-draw draw)
(on-tick tick 1)
(stop-when stop?))

168
scribblings/cs019.scrbl
View File

@ -8,8 +8,8 @@
racket/port racket/port
(only-in racket/contract any/c) (only-in racket/contract any/c)
racket/runtime-path racket/runtime-path
"scribble-helpers.rkt" "scribble-helpers.rkt")
"../js-assembler/get-js-vm-implemented-primitives.rkt")
@(require (for-label (this-package-in resource)) @(require (for-label (this-package-in resource))
(for-label (this-package-in web-world))) (for-label (this-package-in web-world)))
@ -21,71 +21,34 @@
@author+email["Danny Yoo" "dyoo@hashcollision.org"] @author+email["Danny Yoo" "dyoo@hashcollision.org"]
@section{Installation} @section{Installation}
Racket 5.1.2 or greater is a prerequisite for Whalesong. Brown CS Racket 5.1.3 or greater is a prerequisite for Whalesong. Brown CS
maintains its own installation of Racket 5.1.3 in maintains its own installation of Racket 5.1.3 in
@filepath{/local/projects/racket/releases/5.1.3}. @filepath{/local/projects/racket/releases/5.1.3}. This should already be in
To access it, you can add the following to your @filepath{.environment}: your @litchar{PATH}.
If it isn't, you can add the following to your @filepath{.environment}:
@filebox[".environment"]{ @filebox[".environment"]{
@verbatim|{ @verbatim|{
pathprependifdir PATH "/local/projects/racket/releases/5.1.3/bin" pathprependifdir PATH "/local/projects/racket/releases/5.1.3/bin"
}|} }|}
Hopefully, this should already be configured to be the default for the @tt{cs19} group But hopefully, this should already be configured to be the default for the @tt{cs19} group
by the time you read this. by the time you read this.
We'll install a local development copy of Whalesong in a @filepath{whalesong} subdirectory. Run the following to create the @filepath{whalesong} launcher program in
On the very first time we install Whalesong: your current directory.
@verbatim|{ @codeblock|{
$ git clone git://github.com/dyoo/whalesong.git #lang racket/base
$ cd whalesong (require (planet dyoo/whalesong:1:4/make-launcher))
$ make
}| }|
The @filepath{make} step make take a minute or two, and creates a command-line program called This will create a @filepath{whalesong} launcher in the current directory.
@filepath{whalesong} that we'll use to build Whalesong programs.
Whenever we need to update whalesong, we should do the following
@verbatim|{
$ git pull
$ make
}|
@subsection{Warning on Firefox}
Firefox unfortunately has a
@link["https://bugzilla.mozilla.org/show_bug.cgi?id=676343"]{JavaScript
bug} that prevents it from reliably evaluating Whalesong programs. As
of this writing, I have not been able to find a workaround. You
should probably use Google Chrome instead when testing your programs;
Google Chrome should be in @filepath{/contrib/bin/google-chrome}.
@section{Usage}
The @filepath{whalesong} launcher in the subdirectory will compile
programs to @filepath{.html} and @filepath{.js} files.
Example usage: using @litchar{whalesong build} to compile a whalesong program.
@verbatim|{
fermi ~/whalesong $ cd examples
fermi ~/whalesong/examples $ cat hello.rkt
#lang planet dyoo/whalesong
(display "hello world")
(newline)
fermi ~/whalesong/examples $ ../whalesong build hello.rkt
fermi ~/whalesong/examples $ google-chrome hello.html
Created new window in existing browser session.
fermi ~/whalesong/examples $
}|
@section{Examples} @section{Examples}
@ -101,47 +64,61 @@ Let's look at a few of them.
@subsection{Hello world} @subsection{Hello world}
Let's try making a simple, standalone executable. At the moment, the Let's try making a simple, standalone executable. At the moment, the
program must be written in the base language of @racket[(planet program should be written in the base language of @racket[(planet
dyoo/whalesong)]. This restriction unfortunately prevents arbitrary dyoo/whalesong/cs019)], as it provides the language features that
@racketmodname[racket/base] programs from compiling at the moment; you've been using in cs019 (@racket[local], @racket[shared], etc...),
the developers (namely, dyoo) will be working to remove this as well as support for the @racketmodname/this-package[web-world]
restriction as quickly as possible. package described later in this document.
Write a @filepath{hello.rkt} with the following content Write a @filepath{hello.rkt} with the following content
@filebox["hello.rkt"]{ @filebox["hello.rkt"]{
@codeblock{ @codeblock{
#lang planet dyoo/whalesong #lang planet dyoo/whalesong/cs019
(display "hello world") "hello world"
(newline)
}} }}
This program is a regular Racket program, and can be executed normally, This program is a regular Racket program, and can be executed normally,
@verbatim|{ @verbatim|{
$ racket hello.rkt $ racket hello.rkt
hello world "hello world"
$ $
}| }|
However, it can also be packaged with @filepath{whalesong}. However, it can also be packaged with @filepath{whalesong}.
@verbatim|{ @verbatim|{
$ whalesong build hello.rkt $ whalesong build hello.rkt
Writing program #<path:/home/dyoo/work/whalesong/examples/hello.js> Writing program #<path:/home/dyoo/work/whalesong/examples/hello.js>
Writing html #<path:/home/dyoo/work/whalesong/examples/hello.html> Writing resource #<path:/gpfs/main/home/dyoo/work/whalesong/examples/excanvas.js>
Writing resource #<path:/gpfs/main/home/dyoo/work/whalesong/examples/canvas.text.js>
Writing resource #<path:/gpfs/main/home/dyoo/work/whalesong/examples/optimer-normal-normal.js>
Writing html #<path:/gpfs/main/home/dyoo/work/whalesong/examples/hello.html>
Writing manifest #<path:/gpfs/main/home/dyoo/work/whalesong/examples/hello.appcache>
$ ls -l hello.html $ ls -l hello.html
-rw-r--r-- 1 dyoo dyoo 3817 2011-09-10 15:02 hello.html -rw-r--r-- 1 dyoo dyoo 3817 2011-09-10 15:02 hello.html
$ ls -l hello.js $ ls -l hello.js
-rw-r--r-- 1 dyoo dyoo 2129028 2011-09-10 15:02 hello.js -rw-r--r-- 1 dyoo dyoo 2129028 2011-09-10 15:02 hello.js
}| }|
Running @tt{whalesong build} on a Racket program will produce
@filepath{.html} and @filepath{.js} files. If we open this file in our favorite web browser, Running @tt{whalesong build} will produce @filepath{.html} and
we should see a triumphant message show on screen. @filepath{.js} files. If we open this file in our favorite web
browser, we should see a triumphant message show on screen.
There are several other files generated as part of the application
besides the main @filepath{.html} and the @filepath{.js}. Several of
these files provide Internet Explorer compatibility and should be
included during distribution. The @filepath{.appcache} file, too,
should be included, as it catalog the files in the application, and is
used to enable offline
@link["http://diveintohtml5.org/offline.html"]{HTML application
support}.
@subsection{Tick tock} @subsection{Tick tock}
Let's do something a little more interesting, and create a ticker that Let's do something a little more interesting and create a ticker that
counts on the screen. counts on the screen.
The first thing we can do is mock up a web page with a user interface, like this. The first thing we can do is mock up a web page with a user interface, like this.
@ -161,24 +138,22 @@ Once we're happy with the statics of our program, we can inject dynamic behavior
Write a file called @filepath{tick-tock.rkt} with the following content. Write a file called @filepath{tick-tock.rkt} with the following content.
@filebox["tick-tock.rkt"]{ @filebox["tick-tock.rkt"]{
@codeblock|{ @codeblock|{
#lang planet dyoo/whalesong #lang planet dyoo/whalesong/cs019
(require (planet dyoo/whalesong/web-world)
(planet dyoo/whalesong/resource))
(define-resource index.html) (define-resource index.html)
;; draw: world view -> view
(define (draw world dom) (define: (draw ([world : Number$] [dom : View$])) -> View$
(update-view-text (view-focus dom "counter") world)) (update-view-text (view-focus dom "counter") world))
;; tick: world view -> world ;; tick: world view -> world
(define (tick world dom) (define: (tick ([world : Number$] [dom : View$])) -> Number$
(add1 world)) (add1 world))
;; stop?: world view -> boolean ;; stop?: world view -> boolean
(define (stop? world dom) (define: (stop? ([world : Number$] [dom : View$])) -> Boolean$
(> world 10)) (> world 10))
(big-bang 0 (big-bang 0
@ -189,22 +164,20 @@ Write a file called @filepath{tick-tock.rkt} with the following content.
}| }|
} }
Several things are happening here. Several things are happening here.
@itemize[ @itemize[
@item{We use @racket[define-resource] to refer to external @tech{resource }files,
like @filepath{index.html} that we'd like to include in our program.}
@item{We @racket[require] a few libraries to get us some additional @item{
behavior; in particular, @racketmodname/this-package[web-world] to let Whalesong includes a world library for doing event-driven programs.
us write event-driven web-based programs, and @racketmodname/this-package[resource] As you may have seen earlier, we use @racket[big-bang] to start up a
to give us access to external @tech{resource}s.} computation that responses to events. In this example, that's clock
ticks introduced by @racket[on-tick].
@item{We use @racket[define-resource] to refer to external files, like @filepath{index.html} that However, because we're on the web, we can bind to many other kinds of
we'd like to include in our program.} web events (by using @racket[view-bind]).}]
@item{We use @racket[big-bang] to start up a computation that
responses to events. In this example, that's clock ticks introduced
by @racket[on-tick], though because we're on the web, we can
bind to many other kinds of web events (by using @racket[view-bind]).}
]
@ -264,6 +237,29 @@ Uses @racket[on-location-change] and @racket[on-mock-location-change] to demonst
@section{Usage}
The @filepath{whalesong} launcher in the subdirectory will compile
programs to @filepath{.html} and @filepath{.js} files.
Example usage: using @litchar{whalesong build} to compile a whalesong program.
@verbatim|{
$ cat hello.rkt
#lang planet dyoo/whalesong/cs019
(display "hello world")
(newline)
$ whalesong build hello.rkt
fermi ~/whalesong/examples $ google-chrome hello.html
Created new window in existing browser session.
}|
@section{API} @section{API}

2
web-world/impl.rkt
View File

@ -34,6 +34,8 @@
;; coerse to view ;; coerse to view
->view ->view
view?
view-focus? view-focus?
view-focus view-focus

7
web-world/js-impl.js
View File

@ -1583,6 +1583,13 @@
}); });
}); });
EXPORTS['view?'] = makePrimitiveProcedure(
'view?',
1,
function(M) {
return isMockView(M.e[M.e.length - 1]);
});
EXPORTS['->view'] = makeClosure( EXPORTS['->view'] = makeClosure(
'->view', '->view',

5
web-world/racket-impl.rkt
View File

@ -6,6 +6,8 @@
to-draw to-draw
->view ->view
view?
view-focus? view-focus view-focus? view-focus
view-left view-right view-up view-down view-left view-right view-up view-down
view-left? view-right? view-up? view-down? view-left? view-right? view-up? view-down?
@ -81,6 +83,9 @@
(define (->view x) (define (->view x)
(error '->view "Please run in JavaScript context.")) (error '->view "Please run in JavaScript context."))
(define (view? x)
(error 'view? "Please run in JavaScript context."))
(define (view-focus? v selector) (define (view-focus? v selector)