Please take me off the list Thanks
On Fri, Sep 26, 2014 at 12:16 AM, <[email protected]> wrote: > Send users mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.racket-lang.org/users/listinfo > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of users digest..." > > > [Racket Users list: > http://lists.racket-lang.org/users ] > > > Today's Topics: > > 1. Re: typed racket, filters, and polymorphism (Sam Tobin-Hochstadt) > 2. Re: web server: module servlets (Jay McCarthy) > 3. Re: [GENERAL] Off Topic: Anybody reading this via > news.gmane.org? (George Neuner) > 4. Re: typed racket, filters, and polymorphism (Alexander D. Knauth) > 5. Re: web server: module servlets (George Neuner) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 25 Sep 2014 18:19:37 -0400 > From: Sam Tobin-Hochstadt <[email protected]> > To: "Alexander D. Knauth" <[email protected]> > Cc: racket users list <[email protected]> > Subject: Re: [racket] typed racket, filters, and polymorphism > Message-ID: > <CAK=hd+zppuvytmzj1_lxrnpgjcpamz73z8aipizcussr+ux...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > 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 > <[email protected]> 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-> [a -> a] >> [Any -> Integer]))) >> (define (check-int int) >> (unless (exact-integer? int) >> (error 'check-int "expected Integer, given ~v" int)) >> int) >> >> ;. Type Checker: type mismatch >> ; expected: a >> ; given: Integer in: int >> >> >> >> ____________________ >> Racket Users list: >> http://lists.racket-lang.org/users >> > > > ------------------------------ > > Message: 2 > Date: Thu, 25 Sep 2014 18:26:58 -0400 > From: Jay McCarthy <[email protected]> > To: George Neuner <[email protected]> > Cc: users <[email protected]> > Subject: Re: [racket] web server: module servlets > Message-ID: > <CAJYbDamsu2F=97vnzjqdx2dro-ss46nu0icrf8xwna_2mmg...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > On Thu, Sep 25, 2014 at 4:34 PM, George Neuner <[email protected]> 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 servlet-namespace will be shared between all servlets, and thus >> not loaded per-servlet. >> >> >> I think you misunderstood my question, but you may have answered it anyway. >> >> What I really was asking was whether each custodian was having to >> individually load common Racket libraries [ web-server/*, net/*, etc. ] for >> a new servlet rather than all servlet custodians sharing libraries that are >> already loaded. Or, if not actually "loading" the libraries, then having to >> go to disk to check dependencies. >> >> So if I create a shared servlet namespace and put, e.g., >> "web-server/servlet" into it, would that in any way speed up starting a new >> dynamically loaded servlet? > > There is a very small set that is automatically shared: > racket/base > web-server/private/servlet > web-server/http > web-server/servlet/web > ... > > 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. > > Jay > > > > -- > Jay McCarthy > http://jeapostrophe.github.io > > "Wherefore, be not weary in well-doing, > for ye are laying the foundation of a great work. > And out of small things proceedeth that which is great." > - D&C 64:33 > > > ------------------------------ > > Message: 3 > Date: Thu, 25 Sep 2014 20:13:54 -0400 > From: George Neuner <[email protected]> > To: Adrian Klaver <[email protected]>, [email protected] > Cc: "[email protected] >> users" <[email protected]> > Subject: Re: [racket] [GENERAL] Off Topic: Anybody reading this via > news.gmane.org? > Message-ID: <[email protected]> > Content-Type: text/plain; charset="windows-1252"; Format="flowed" > > > 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 take a look at this thread to see what your options are >> and what the turn around time is on your request: >> >> http://thread.gmane.org/gmane.discuss/16309 > > Thanks to both of you - I missed seeing the entry about the denied list > in the FAQ. > > Adrian you were right - it seems that I have been blocked for some > reason. Based on the description of infractions I really don't think I > did anything to warrant it ... but there it is. I'll have to follow my > lists by email until I can unblocked. > > Thanks again, > George > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: > <http://lists.racket-lang.org/users/archive/attachments/20140925/0d2a1f73/attachment-0001.html> > > ------------------------------ > > Message: 4 > Date: Thu, 25 Sep 2014 21:42:00 -0400 > From: "Alexander D. Knauth" <[email protected]> > To: Sam Tobin-Hochstadt <[email protected]> > Cc: racket users list <[email protected]> > Subject: Re: [racket] typed racket, filters, and polymorphism > Message-ID: <[email protected]> > Content-Type: text/plain; charset="windows-1252" > > 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) > (error 'unit "expected Dimension, given ~v" dimension)) > (values name scalar dimension))) > > (define-type (Unitof d) (unit d)) > > (define-type Unit (Unitof Dimension)) > > (define Unit? (make-predicate Unit)) > > (define-type Unitish > (U (Unitof Any) > Dimension > Positive-Real)) > > (: ->unit : (All (d) (case-> [(Unitof d) -> (Unitof d)] > [Unitish -> Unit]))) > (define (->unit u) > (cond [(unit? u) > (unless (Unit? u) ; this should never happen anyway because of the > guard > (error '->unit "expected (Unitof Dimension), given ~v" u)) > u] > [(dimension? u) (unit u 1 u)] > [(positive-real? u) (unit u u dimensionless-dimension)])) > > > On Sep 25, 2014, at 6:19 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > >> 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 >> <[email protected]> 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-> [a -> a] >>> [Any -> Integer]))) >>> (define (check-int int) >>> (unless (exact-integer? int) >>> (error 'check-int "expected Integer, given ~v" int)) >>> int) >>> >>> ;. Type Checker: type mismatch >>> ; expected: a >>> ; given: Integer in: int >>> >>> >>> >>> ____________________ >>> Racket Users list: >>> http://lists.racket-lang.org/users >>> > > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: > <http://lists.racket-lang.org/users/archive/attachments/20140925/dc09b97f/attachment-0001.html> > > ------------------------------ > > Message: 5 > Date: Fri, 26 Sep 2014 00:16:56 -0400 > From: George Neuner <[email protected]> > To: Jay McCarthy <[email protected]> > Cc: users <[email protected]> > Subject: Re: [racket] web server: module servlets > Message-ID: <[email protected]> > Content-Type: text/plain; charset="utf-8"; Format="flowed" > > 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. > > But ... IIUC ... a listener started by serve/servlet will still > dynamically load from <servlet-root>, <server-root>/htdocs/*, etc. if > the request doesn't match a hard coded dispatch URL - the regex of the > initial servlet or an entry in a dispatcher table. At least that's the > behavior I see with my own application: my initial servlet returns 404 > when called - the call to serve/servlet just sets up the environment > and and all the "real" servlets are demand loaded from disk when first > touched. > > Are you advocating *static* linking and essentially just dispatching to > internal functions by URL? ISTM that that defeats the purpose. > > George > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: > <http://lists.racket-lang.org/users/archive/attachments/20140926/ffaf6bde/attachment.html> > > End of users Digest, Vol 109, Issue 59 > ************************************** ____________________ Racket Users list: http://lists.racket-lang.org/users
