[racket] OK, it wasn't Scriblogify

2012-09-21 Thread Patrick King
I've been complaining about errors like this: C:\Users...\Source\SlowFlight\Blog>raco scriblogify 12-09-15.scrbl file-or-directory-modify-seconds: `read' access denied for C:\Users...\Source\SlowFlight\private\test-private.rkt ... and blaming scriblogify or raco, because I wasn't getting the erro

Re: [racket] Webserver, SSL, and intermediate certificates

2012-09-21 Thread Jordan Schatz
I tried, the web server doesn't give an error, but all the browsers I've tried still complain about the missing intermediate CA. On Fri, 21 Sep 2012 22:11:32 +0200, Stefan Schmiedl wrote: > On Fri, 21 Sep 2012 11:24:39 -0600 > Jordan Schatz wrote: > > > > > I have an SSL certificate that depe

[racket] Avast claims to find a virus in a Racket download from

2012-09-21 Thread John Chandler
On a semi-public computer, I started a download of Racket, from the Univ. of Utah mirror, and partway through I got a popup, apparently from an anti-virus program called "Avast", which apparently lives on this computer. The message in the popup is that a virus was found in the download. The detai

Re: [racket] Webserver, SSL, and intermediate certificates

2012-09-21 Thread Stefan Schmiedl
On Fri, 21 Sep 2012 11:24:39 -0600 Jordan Schatz wrote: > > I have an SSL certificate that depends on an intermediate certificate, but I > cant find anything in the documentation on how to tell the web server that my > cert needs the intermediate certificate... Are intermediate certificates > su

Re: [racket] Webserver, SSL, and intermediate certificates

2012-09-21 Thread Jordan Schatz
I guess GoDaddy, Thawte, DigiCert and StartSSL (and probably others) are not signing SSL certs with their root key, but rather they have an intermediate cert that they sign, and then use that intermediate cert to sign the SSL certs they issue. http://en.wikipedia.org/wiki/Intermediate_certificate

Re: [racket] Typed Racket vs. Haskell

2012-09-21 Thread Sam Tobin-Hochstadt
On Fri, Sep 21, 2012 at 2:29 PM, wrote: > One more question. > > I've been told that there are no typeclasses in TR. > How would you handle this? > > foo :: (Ord a) => a -> a -> a Racket doesn't have a general notion of ordering, so we'd probably write this function like this: (: foo : (All (A)

Re: [racket] Typed Racket vs. Haskell

2012-09-21 Thread thorsopia
One more question. I've been told that there are no typeclasses in TR. How would you handle this? foo :: (Ord a) => a -> a -> a (I haven't checked the docs yet. Maybe this is not needed in TR.) Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Webserver, SSL, and intermediate certificates

2012-09-21 Thread Jay McCarthy
I don't know what they are, so I presume that it doesn't support them. If you can give me some docs or test cases to work with, I could see how difficult it is to implement. Jay On Fri, Sep 21, 2012 at 11:24 AM, Jordan Schatz wrote: > > I have an SSL certificate that depends on an intermediate c

[racket] Webserver, SSL, and intermediate certificates

2012-09-21 Thread Jordan Schatz
I have an SSL certificate that depends on an intermediate certificate, but I cant find anything in the documentation on how to tell the web server that my cert needs the intermediate certificate... Are intermediate certificates supported? anyone know of a work around? Thanks, Jordan _

Re: [racket] I love TR

2012-09-21 Thread Arthur Nunes-Harwitt
Dear John, Although it's not a trivial change for other type systems, I believe that the natural numbers should be a base type. Thanks for the example. -Arthur == Arthur Nunes-Harwitt Computer Science Department, Rochester Insti

Re: [racket] Typed Racket vs. Haskell

2012-09-21 Thread Eli Barzilay
Yesterday, thorso...@lavabit.com wrote: > > Developing statically typed code in TR and making it work later on > > other Scheme implementations should be easy, since the TR type > > system is intended to allow the same style of code that is used in > > Racket, which is also similar to the style in