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^)
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
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:
>>
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 :
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
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:
> >
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
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
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
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
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
11 matches
Mail list logo