Re: [racket-users] unit "mixins"

2016-03-03 Thread Matthias Felleisen
Here is a small modification of your program that I think does what you want, but I might not understand your question: #lang racket (define-signature x^ (a b c)) ; (define-signature y^ (b)) ; (define-signature z^ (c)) (define-signature f^ (f)) (define-unit u@ (import x^) (export f^)

Re: [racket-users] Puzzled by Typed Racket

2016-03-03 Thread Matthias Felleisen
On Mar 3, 2016, at 12:47 PM, Sam Tobin-Hochstadt wrote: > On Thu, Mar 3, 2016 at 4:26 AM, Antonio Menezes Leitao > wrote: >> Hi, >> >> Here is a MWE for something that is puzzling me. In file testtyped.rkt, I >> have >> >> #lang

Re: [racket-users] Standard web server interface?

2016-03-03 Thread Sam Tobin-Hochstadt
On Thu, Mar 3, 2016 at 12:23 PM, Brian Adkins wrote: > On Thursday, March 3, 2016 at 12:15:27 PM UTC-5, antoine wrote: >> There is the fastcgi protocol http://www.fastcgi.com/drupal/ (maybe it >> is underlying rack and wsgi). >> I have done basic tests with it: >>

Re: [racket-users] Puzzled by Typed Racket

2016-03-03 Thread Sam Tobin-Hochstadt
On Thu, Mar 3, 2016 at 4:26 AM, Antonio Menezes Leitao wrote: > Hi, > > Here is a MWE for something that is puzzling me. In file testtyped.rkt, I have > > #lang typed/racket > > (provide foobar) > > (struct (T) foo > ([x : (T -> T)])) > > (define (foobar [a :

Re: [racket-users] Standard web server interface?

2016-03-03 Thread Neil Van Dyke
Brian Adkins wrote on 03/03/2016 10:16 AM: Is there anything analogous to Rack (Ruby) or WSGI (Python), i.e. a standard protocol between web servers and web applications, in the Racket world? There's an SCGI package: http://www.neilvandyke.org/racket/scgi/ I originally wrote it because a

Re: [racket-users] Standard web server interface?

2016-03-03 Thread Brian Adkins
On Thursday, March 3, 2016 at 12:23:28 PM UTC-5, Brian Adkins wrote: > On Thursday, March 3, 2016 at 12:15:27 PM UTC-5, antoine wrote: > > There is the fastcgi protocol http://www.fastcgi.com/drupal/ (maybe it > > is underlying rack and wsgi). > > I have done basic tests with it: > >

Re: [racket-users] Standard web server interface?

2016-03-03 Thread Brian Adkins
On Thursday, March 3, 2016 at 12:15:27 PM UTC-5, antoine wrote: > There is the fastcgi protocol http://www.fastcgi.com/drupal/ (maybe it > is underlying rack and wsgi). > I have done basic tests with it: > http://antoineb.github.io/blog/2015/06/02/basic-fastcgi-with-racket/ > > I haven't found

Re: [racket-users] Standard web server interface?

2016-03-03 Thread antoine
There is the fastcgi protocol http://www.fastcgi.com/drupal/ (maybe it is underlying rack and wsgi). I have done basic tests with it: http://antoineb.github.io/blog/2015/06/02/basic-fastcgi-with-racket/ I haven't found any racket implementation so far. On 03/03/2016 04:16 PM, Brian Adkins

Re: [racket-users] Racket 6.4 very slow

2016-03-03 Thread Vincent St-Amour
On Wed, 02 Mar 2016 22:23:29 -0600, Matthew Flatt wrote: > Instead of using the existence of a source location to determine where > to add instrumentation, debugging should be based on the details of the > source location. I'm not immediately sure of the right rule, but I'll > work on it. Would

[racket-users] Standard web server interface?

2016-03-03 Thread Brian Adkins
Is there anything analogous to Rack (Ruby) or WSGI (Python), i.e. a standard protocol between web servers and web applications, in the Racket world? http://rack.github.io/ https://www.python.org/dev/peps/pep-/#abstract Thanks, Brian -- You received this message because you are subscribed

[racket-users] Puzzled by Typed Racket

2016-03-03 Thread Antonio Menezes Leitao
Hi, Here is a MWE for something that is puzzling me. In file testtyped.rkt, I have #lang typed/racket (provide foobar) (struct (T) foo ([x : (T -> T)])) (define (foobar [a : Boolean]) (if a (foo (lambda ([x : Number]) x)) (foo (lambda ([x : String]) x In the REPL, I can