Re: [racket] Programmatic drawing

2014-10-30 Thread C K Kashyap
Wow ... Thanks Mathew and Jens. I think, in future I should just ask "how do I do such and such" - "can I do such and such is an unnecessary question in racket" :) Regards, Kashyap On Fri, Oct 31, 2014 at 1:21 AM, Jens Axel Søgaard wrote: > MetaPict supports arbitrary curves and will produce p

Re: [racket] Promises and parameters

2014-10-30 Thread Matthew Flatt
I can see why you might want or expect '(4) below, and it turns out that changing `delay` to `delay/thread` makes the result '(4) instead of '(5). We could extract that facet of `delay/thread` (without the concurrency) as (define-syntax-rule (delay* e) (let ([params (current-parameterization)

Re: [racket] Try-Racket.org

2014-10-30 Thread Chrakhan
1. I tryed to run it localy but all I can see in the browser is the html site! The console is no where to see! I don't get any errors! I'm running it with drracket! I open main.rkt in DrRacket and run it then goto my browser ( tryed firefox, iexplore and chrom) and open localhost:8080 but i s

[racket] Promises and parameters

2014-10-30 Thread Tony Garnock-Jones
Hi all, Does this seem like the morally-correct thing for promises to do in the presence of parameters? -> (define x (make-parameter 3)) -> (define y (parameterize ((x 4)) (delay (list (x) -> (parameterize ((x 5)) (force y)) '(5) I was expecting '(4), because I felt that delay should be more

Re: [racket] Defining a typed language

2014-10-30 Thread Sam Tobin-Hochstadt
On Wed, Oct 29, 2014 at 5:50 AM, Konrad Hinsen wrote: > Sam Tobin-Hochstadt writes: > > > > This suggests that if I want my single-form module to be handled exactly > > > like a multi-form module, my single form must expand to something else > > > than #%plain-module-begin. Fine. But who or wha

Re: [racket] Programmatic drawing

2014-10-30 Thread Jens Axel Søgaard
MetaPict supports arbitrary curves and will produce picts. http://soegaard.github.io/docs/metapict/metapict.html Given points p, q, r, ... and vectors (directions) d, e, f ... : (curve p .. q .. r .. s) draws a "nice" curve from p through q and r to s (curve p .. q d .. r .. s) draws a

Re: [racket] Typed Racket frustration

2014-10-30 Thread Sam Tobin-Hochstadt
Polymorphic types generate impersonator contracts for the type variables (a and b, here). Contracts for hashes (such as `hash/c`) don't accept impersonator contracts on keys. Sam On Thu, Oct 30, 2014 at 3:22 PM, Alexander D. Knauth wrote: > What I did to get around this was use require/typed wit

Re: [racket] Typed Racket frustration

2014-10-30 Thread Alexander D. Knauth
What I did to get around this was use require/typed with a more useful type, but when I tried it again just now it didn’t work any more. This used to work, what changed? And why would it expect a flat contract anywhere? #lang typed/racket (require/typed racket/base [hash (Al

Re: [racket] Programmatic drawing

2014-10-30 Thread Matthew Flatt
Yes, the `dc` pict constructor provides a bridge between `racket/draw` and picts: #lang slideshow (slide (dc (lambda (dc x y) (send dc draw-spline x y (+ x 20) (+ y 80) (+ x 100) (+ y 100))) 100 100)) At Thu, 30 Oct 2014 23:46:21 +053

[racket] Programmatic drawing

2014-10-30 Thread C K Kashyap
Dear Racket folks, I'd like to use Dr Racket to generate some drawings. I liked the way I can compose and create images using slideshow. I could not figure how I could draw arbitrary curves though? When I looked for it I found the racket/draw package. Can the racket/draw functions be used along w

Re: [racket] Try-Racket.org

2014-10-30 Thread Andrew Ulrich
I haven't tried it myself, but it looks like the main.rkt sets up a webserver to handle requests, using define-values to route urls and runs the code in a sandbox. So as to your question "where is the server?", it's wherever you launch main.rkt. As the instructions say, your url should just be loc

Re: [racket] Typed Racket frustration

2014-10-30 Thread Daniel Feltey
> I wouldn't expect the type checker to support all working plain Racket > code. But I do expect Typed Racket to provide equivalent (though > possibly syntactically different) APIs for common tasks such as > creating an immutable hash table from key-value pairs. > > I suppose the problem with hash

Re: [racket] Typed Racket frustration

2014-10-30 Thread Konrad Hinsen
Sam Tobin-Hochstadt writes: > This isn't a different version of `hash` -- instead, it's the same > version, with a type that doesn't accept every working untyped Racket > program. This make sense from the point of view of the language implementation, but not from the point of view of the langu