Re: [racket] web server: module servlets

2014-09-25 Thread George Neuner
On 9/25/2014 6:26 PM, Jay McCarthy wrote: web-server/servlet is NOT shared, nor is any net library or common racket library like racket/list. They are all totally unique per servlet. This, by the way, is part of why I don't recommend using dynamic servlets at all and suggest using serve/servlet.

Re: [racket] typed racket, filters, and polymorphism

2014-09-25 Thread Alexander D. Knauth
What I’m trying to accomplish is something more like this: #lang typed/racket (require "dimensions.rkt") (struct (d) unit ([name : Any] [scalar : Positive-Real] [dimension : d]) #:transparent #:guard (lambda (name scalar dimension _) (unless (dimension? dimension) (er

Re: [racket] [GENERAL] Off Topic: Anybody reading this via news.gmane.org?

2014-09-25 Thread George Neuner
On 9/25/2014 5:26 PM, Neil Van Dyke wrote: You can check your IP addr against the list at "http://gmane.org/denied.php";. Neil V. On 9/25/2014 7:08 PM, Adrian Klaver wrote: Take a look here: http://gmane.org/denied.php My guess is you are the fourth one from the bottom. Might want to t

Re: [racket] web server: module servlets

2014-09-25 Thread Jay McCarthy
On Thu, Sep 25, 2014 at 4:34 PM, George Neuner wrote: > Hi Jay, > > On 9/25/2014 1:04 PM, Jay McCarthy wrote: > >> If a Racket library is deliberately put into the servlet-namespace, does >> that streamline linking? > > Your assumption about the purpose of this is not correct. Anything in > the se

Re: [racket] typed racket, filters, and polymorphism

2014-09-25 Thread Sam Tobin-Hochstadt
No, I don't think you can do this. Can you say more about what you're trying to accomplish? Sam On Thu, Sep 25, 2014 at 6:15 PM, Alexander D. Knauth wrote: > Do any of you have any advice for getting a function like this to > type-check? > #lang typed/racket > > (: check-int : (All (a) (case-> [

[racket] typed racket, filters, and polymorphism

2014-09-25 Thread Alexander D. Knauth
Do any of you have any advice for getting a function like this to type-check? #lang typed/racket (: check-int : (All (a) (case-> [a -> a] [Any -> Integer]))) (define (check-int int) (unless (exact-integer? int) (error 'check-int "expected Integer, given ~v" in

Re: [racket] My DrRacket on Linux doesn't evaluate a thing

2014-09-25 Thread Matthew Flatt
Ok, so much for my guess... unless your keyboard is mapped in an unusual way. To rule that out completely, you could download https://raw.githubusercontent.com/plt/racket/stable/pkgs/gui-pkgs/gui-test/tests/gracket/showkey.rkt run it (assuming that the "Run" button works!), and make sure that the

Re: [racket] My DrRacket on Linux doesn't evaluate a thing

2014-09-25 Thread Matthew Flatt
After you type "(+ 1 1)", are you hitting the Enter key on the main part of the keyboard, or the one that's part of the numpad? If you're pressing the latter (the numpad Enter), then DrRacket doesn't evaluate the expression, and it instead lets you continue typing on the next line. If that's it, u

Re: [racket] Off Topic: Anybody reading this via news.gmane.org?

2014-09-25 Thread Neil Van Dyke
You can check your IP addr against the list at "http://gmane.org/denied.php";. Neil V. Racket Users list: http://lists.racket-lang.org/users

[racket] Off Topic: Anybody reading this via news.gmane.org?

2014-09-25 Thread George Neuner
Just wondering if anyone else reads this list via gmane and also is having problems? I follow several lists via gmane and a few days ago all my posts started being rejected - no authorization email, just an immediate "you are not allowed to post" error. Then 2 days ago, I also lost read a

Re: [racket] web server: module servlets

2014-09-25 Thread George Neuner
Hi Jay, On 9/25/2014 1:04 PM, Jay McCarthy wrote: > If a Racket library is deliberately put into the servlet-namespace, does > that streamline linking? Your assumption about the purpose of this is not correct. Anything in the servlet-namespace will be shared between all servlets, and thus not l

[racket] My DrRacket on Linux doesn't evaluate a thing

2014-09-25 Thread Frank Weytjens
Hi, My DrRacket doesn't evaluate any expression. Here is a link to my bug report Any suggestions? Thanks, Frank Racket Users list: http://lists.racket-lang.org/users

Re: [racket] web server: module servlets

2014-09-25 Thread Jay McCarthy
On Thu, Sep 25, 2014 at 12:51 PM, George Neuner wrote: > Hi Jay, > > On 9/23/2014 10:03 PM, Jay McCarthy wrote: > > The command-line tool is basically deprecated and only provided for > backwards compatibility. There is a huge amount that it can't do at > all and it hasn't been the primary way tha

[racket] ANN: DOS, Delimited-continuation-based Operating-system Simulator

2014-09-25 Thread Jay McCarthy
I've just released the game architecture library I talked about in part 2 of my RacketCon talk. The big picture of this library is to make World-style programs more compositional by (a) using continuations to hide the internal state (including control state) of components and (b) using environmen

Re: [racket] web server: module servlets

2014-09-25 Thread George Neuner
Hi Jay, On 9/23/2014 10:03 PM, Jay McCarthy wrote: The command-line tool is basically deprecated and only provided for backwards compatibility. There is a huge amount that it can't do at all and it hasn't been the primary way that we recommend using the Web server for a very long time. I'm not

[racket] htdp: exercise 21.1.3

2014-09-25 Thread Daniel Bastos
The solution is missing, but I thought of exposing this one here so that it gets scrutinized before sending it to Robby Findler. ;; Exercise 21.1.3. Define natural-f, which is the abstraction of the ;; following two functions: ;; ;; ;; copy : N X -> (listof X) ;; ;; to create a list that contain

Re: [racket] macro question

2014-09-25 Thread Alejandro Zamora
Thanks Jay!! nice solution!! I'm asking for define-macro & R5RS because I'm trying to use one R5RS Embedded Scheme Interpreter on Python that have only define-macro construction for make macros and I want to use it. greetings! El Thu, 25 Sep 2014 10:17:49 -0400 Jay McCarthy escribió: > I won't

Re: [racket] macro question

2014-09-25 Thread Jay McCarthy
I won't answer the question about R5RS, but in Racket you can do this fairly succinctly: #lang racket/base (require (for-syntax racket/base racket/syntax)) (define-syntax (vars stx) (syntax-case stx () [(_ id count val) (with-syntax ([(id_i ...)

[racket] Unquoting a variable without unquoting its contents?

2014-09-25 Thread J Arcane
http://try-racket.org continues to splutter to life, but there's still something of a glaring error in that it doesn't really like list or quote at all. AlexKnauth has narrowed the problem down here: https://github.com/jarcane/try-racket/issues/4#issuecomment-56751603 It seems that unquoting a va

Re: [racket] Switching from editor to repl

2014-09-25 Thread Robby Findler
The guide focuses on the language, not the DrRacket IDE. This is a link to the IDE docs that has a list of keyboard shortcuts. You might also try looking at the menu items; things are a little more discoverable that way too. http://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html hth, Robby

Re: [racket] Switching from editor to repl

2014-09-25 Thread C K Kashyap
C-d works for me ... thanks Jay. I was wondering though if I could've found this out in the documentation somewhere. I could not find it in the guide/google. Regards, Kashyap On Thu, Sep 25, 2014 at 12:03 PM, Jay McCarthy wrote: > I use C-e and C-d to do this and I just hit it twice, once hides