Awesome! That helped a lot. Thanks! <div class="gmail_quote">On Wed, Mar 21, 2012 at 6:28 PM, Jay McCarthy <<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Since you did not tell us what error you had, I assume the error was: serve/servlet: contract violation, expected: can-be-response?, given: #<promise> When I tried your code, I also had the error: current-directory: `exists' access denied for /home/jay/Downloads/ because you need to give the sandbox permission to read, like: #:allow-read (list "/") But I assume that you know that error doesn't have to do with the Web server. Returning to the serve/servlet error... If you change your 'start' to: (define (start request) (define prm ((lazy-eval 'lazy-handler) request)) (printf "~a ~a\n" prm (promise? prm)) (define ans (force prm)) (printf "~a\n" ans (promise-forced? prm)) ans) You will see the output: #<promise> #f Servlet (@ /main) exception: promise-forced?: expected argument of type <promise>; given: #<promise> This indicates the thing returned by your handler is not a promise and therefore cannot be forced. This is called structure generativity: every instantiation of a module has different structures, and sandboxes lead to multiple instantiations of the same module---racket/promise in this case. Thus, different 'promise' data structures. Fixing this is what 'sandbox-namespace-specs' is for. If you wrap your call to 'make-evaluator' in: (parameterize ([sandbox-namespace-specs (list sandbox-make-namespace 'racket/promise 'web-server/http)]) .....) Then it will work. This shares the modules 'racket/promise' (to get the right promise data structure) and 'web-server/http' (to get the right request and response structures) between the evaluator and the host Racket program. In case you don't realize, using an evaluator is totally unnecessary. You can just write another module in the lazy language and require it in the strict program and call force normally. For example: #lang racket/load (module lazy-handler lazy (require web-server/http/bindings web-server/http/response-structs web-server/http/xexpr) <div class="im"> (define (lazy-handler request) (let ((bindings (request-bindings request))) (if (exists-binding? 'hi bindings) (response/xexpr "Hi!") </div> (response/xexpr "")))) (provide lazy-handler)) (module the-server racket (require web-server/servlet-env web-server/http/bindings web-server/http/response-structs web-server/http/xexpr 'lazy-handler) (define (start request) (define prm (lazy-handler request)) (printf "~a ~a\n" prm (promise? prm)) (define ans (force prm)) (printf "~a ~a\n" ans (promise-forced? prm)) ans) (serve/servlet start #:launch-browser? #t <div class="im"> #:quit? #f #:listen-ip #f </div> #:servlet-path "/main" <div class="im"> #:port 8080 #:servlet-regexp #rx"main.*" #:extra-files-paths </div> (list (build-path (current-directory))))) (require 'the-server) Hope this helps, Jay <div class="HOEnZb"><div class="h5"> On Wed, Mar 21, 2012 at 11:44 AM, Nathan Breit <<a href="mailto:nabreit@gmail.com">nabreit@gmail.com</a>> wrote: > I'm trying to write a servlet that plugs into the existing server. Here's an > example: > > #lang racket > (require web-server/servlet-env) > (require web-server/http/bindings) > (require web-server/http/response-structs) > (require web-server/http/xexpr) > > (require racket/sandbox) > (define lazy-eval (make-evaluator 'lazy)) > > (map lazy-eval > '( > (require web-server/http/bindings) > (require web-server/http/response-structs) > (require web-server/http/xexpr) > (require racket/promise) > (define (lazy-handler request) > (let ((bindings (request-bindings request))) > (if (exists-binding? 'hi bindings) > (response/xexpr "Hi!") > ""))) > )) > > (define (start request) > (force ((lazy-eval 'lazy-handler) > request))) > > (serve/servlet start > #:launch-browser? #f > #:quit? #f > #:listen-ip #f > #:servlet-path "" > #:port 8080 > #:servlet-regexp #rx"main.*" > #:extra-files-paths > (list (build-path (current-directory) "extraFiles"))) > > On Wed, Mar 21, 2012 at 6:22 AM, Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> > wrote: >> >> >> >> On Mar 21, 2012, at 5:18 AM, Nathan Breit wrote: >> >> > Hi, >> > I'm trying to implement a Racket web-server handler that does lazy >> > evaluation. My approach so far as been to try making a evaluator/namespace >> > that uses the lazy racket, then evaluate a function in it that returns a >> > lazy request handler. However, I'm running into problems getting the handler >> > to read the request object. My last resort will be to make a request >> > serializer and pass serialized requests into the handler, but is there a >> > better way? >> > Thanks, >> > -Nathan >> > ____________________ >> > Racket Users list: >> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> >> >> >> >> Are you trying to write a web server in Lazy or are you trying to write a >> servlet in Lazy and plug it into the existing strict server? Perhaps you >> want to post a code snippet that shows where things fail. -- Matthias >> > > > ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > </div></div>-- Jay McCarthy <<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>> Assistant Professor / Brigham Young University <a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a> "The glory of God is Intelligence" - D&C 93 </blockquote></div>