[racket] would like to create transparent window with one visible animation

2013-07-15 Thread Zelah Hutchinson
Just wondering how hard it might be to create a moving animation that stays on top of other windows with no visible controls other than those accessible through a context menu on the animation itself. Can Racket do this? Thanks, -Zelah _

Re: [racket] Format problem of dumping reduction relations to file using render-reduction-relation

2013-07-15 Thread Monica Tomson
Solved. (using the add the #:style 'compact-vertical prints out perfect format.) Sorry for the junk, Thanks On Mon, Jul 15, 2013 at 6:22 PM, Monica Tomson wrote: > Hi, > > I want to dump the reduction relations to a ps or pdf file > using render-reduction-relation, but it is not as pretty as

[racket] Format problem of dumping reduction relations to file using render-reduction-relation

2013-07-15 Thread Monica Tomson
Hi, I want to dump the reduction relations to a ps or pdf file using render-reduction-relation, but it is not as pretty as what's dumped in REPL, *especially*, texts are out of pdf margins (tags are unseenable, etc.) Is there anyway to print out relations as what is in the REPL? or ways to adjus

Re: [racket] learn racket in 10 minutes

2013-07-15 Thread Roger Rousseau
I didn't realize Racket had "unless" already... I will change it to while. Adam has put the Racket version online: http://learnxinyminutes.com/ But the syntax highlighting is wrong, it seems to be for Scheme rather than Racket There is syntax highlighting for Racket on Github, am I right ? ... I w

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Monica Tomson
On Mon, Jul 15, 2013 at 1:31 PM, Matthias Felleisen wrote: > > For thread swapping, consider > > (--> [n C E S K {th_1 ... (n_i C_i E_i K_i) th_j ...}] > [n_i C_i E_i S K_i {th_1 ... (n C E K) th_j ...}]) > > as a rule. This illustrates ellipses. The rule non-deterministically picks > one of

Re: [racket] learn racket in 10 minutes

2013-07-15 Thread Carl Eastlund
An easy thing to add instead might be a while loop: (define-syntax-rule (while condition body ...) (let loop () (when condition body ... (loop Carl Eastlund On Mon, Jul 15, 2013 at 6:51 AM, Tobias Hammer wrote: > The unless macro seems a bit unfavorable as a macro with t

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Matthias Felleisen
For thread swapping, consider (--> [n C E S K {th_1 ... (n_i C_i E_i K_i) th_j ...}] [n_i C_i E_i S K_i {th_1 ... (n C E K) th_j ...}]) as a rule. This illustrates ellipses. The rule non-deterministically picks one of the threads to swap in and Redex can show you all branches. Alternati

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Monica Tomson
Ahhh!! Your suggestion really simplifies and cleans up my original model! Thanks :-) On Mon, Jul 15, 2013 at 12:26 PM, Matthias Felleisen wrote: > > I don't think you need 'dots' for what you want. > > Here is how you can organize your states: > n -- name of current thread > C -- control of

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Matthias Felleisen
I don't think you need 'dots' for what you want. Here is how you can organize your states: n -- name of current thread C -- control of current thread E -- env of current thread S -- global store K -- continuation of current thread T -- thread pool : Name |-->f (a finite map from name

Re: [racket] Splicing `values' in-place

2013-07-15 Thread Laurent
Matthias, On Fri, Jul 12, 2013 at 7:36 PM, Greg Hendershott wrote: > >> Then why not return lists instead of values? > > Error checking. > Well, expecting a number and receiving a list (instead of several values) is not very different from expecting a number and receiving a string. In both case

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Monica Tomson
On Mon, Jul 15, 2013 at 6:48 AM, Matthias Felleisen wrote: > > Is this supposed to be a CESK machine state where you apply \x.M to V > (actually V and the empty env, which is a highly unusual left-hand side)? > Yeah. the machine is a CESK machine, and the reduction rule is function application es

[racket] Roadmap for Racket

2013-07-15 Thread John Griffin
I'm curious if there is some type of roadmap or statement of direction from the principals involved in Racket. There is considerable activity and quality contribution to Racket on a daily (and nightly) basis. As a business person using Racket in production, I'm curious what future goals and/o

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Matthias Felleisen
Is this supposed to be a CESK machine state where you apply \x.M to V (actually V and the empty env, which is a highly unusual left-hand side)? On Jul 15, 2013, at 4:28 AM, Monica Tomson wrote: > Hi, > > I have the following reduction rule, it keeps on throwing the compiling > error:missin

Re: [racket] Where to put the ellipsis?

2013-07-15 Thread Justin R. Slepak
Not knowing your intent here, I can't say for sure where you should put the ellipsis. The left-hand side of the reduction rule binds (V ...) -- a V from each of a list of (tid )s. If the goal is to treat them all as the same V duplicated in each (tid ), you can use a where clause and met

Re: [racket] learn racket in 10 minutes

2013-07-15 Thread Tobias Hammer
The unless macro seems a bit unfavorable as a macro with the same name and different semantics already exists in racket Tobias On Mon, 15 Jul 2013 04:55:38 +0200, Roger Rousseau wrote: Thanks everybody for the suggestions I've followed most of them, except adding a section about "Units

Re: [racket] Bug all/13780 ... can someone confirm this?

2013-07-15 Thread Erich Rast
Thank you very much for this fast response! Incidentally, I only need modifier key information anyway. Best, Erich On Sun, 14 Jul 2013 17:04:02 -0600 Matthew Flatt wrote: > I see that the `pressedMouseButtons' method of `NSEvent' was not > available until OS X 10.6, so the implementation of >

[racket] Where to put the ellipsis?

2013-07-15 Thread Monica Tomson
Hi, I have the following reduction rule, it keeps on throwing the compiling error:missing ellipsis with pattern variable in template in: V I am confused where to put the ellipsis? (--> ;((V ε) S (fn ((λ X M) ε_f) κ)) ;((M (update ε_f X σ_n)) S κ) ((tid (V ε (fn ((λ X M) ε_f) κ)))