Re: [racket] Racket in the large

2011-08-20 Thread Neil Van Dyke
Thanks for the summary, this helps us fill in some of the gaps of what was said before. gonzalo diethelm wrote at 08/20/2011 11:15 PM: 5. There might be a Racket software engineering book soon, planned by Neil Van Dyke. I declare myself as a sure customer. Besides my vaporware book, there

Re: [racket] Racket in the large

2011-08-20 Thread Robby Findler
On Saturday, August 20, 2011, gonzalo diethelm wrote: > I would like to thank everyone for their thoughtful answers. I will try to summarize a bit and then present my conclusions at the end. One minor note: I did try to clearly differentiate between Scheme and Racket in my original post; I am full

Re: [racket] Racket in the large

2011-08-20 Thread gonzalo diethelm
I would like to thank everyone for their thoughtful answers. I will try to summarize a bit and then present my conclusions at the end. One minor note: I did try to clearly differentiate between Scheme and Racket in my original post; I am fully aware they are separate and different languages. 1.

Re: [racket] Racket in the large

2011-08-20 Thread Gregory Woodhouse
It seems to me that Racket would be more widely used if there were database drivers for major DBMSs (e.g., PostgreSQL, SQLite, MySQL. maybe even Oracle) as part of the standard distribution. I know there are PLaneT packages available, but it would sure be easier for potential adopters if they ca

[racket] for/and unhappiness with 'not' and the definition of Booleans?

2011-08-20 Thread John Clements
I'm unable to get for/and to typecheck when the body is an application of 'not'. I've tried many variations on the following, without success: #lang typed/racket (for/and: : Any ([i (in-range 4)]) (not (my-pred))) (define (my-pred) #f) => Type Checker: Expected True, but got Boolean in:

Re: [racket] DrRacket online check syntax

2011-08-20 Thread Grant Rettke
On Wed, Aug 3, 2011 at 11:23 AM, Jay McCarthy wrote: > Check syntax is always running, so you don't need to press the button > to see binding errors, get the arrows, etc That is wonderful. _ For list-related administrative tasks: http://lists.ra

Re: [racket] Racket in the large

2011-08-20 Thread pablo
On Sat, Aug 20, 2011 at 2:31 AM, Mark Engelberg wrote: > On Fri, Aug 19, 2011 at 3:26 PM, Matthias Felleisen > wrote: >> Correction: Scheme (current standard) is the third-best language. Racket is >> the second-best language. > > OK, this is clearly a setup for someone to ask, so I'll ask :) > Wh

[racket] online check-syntax: totally wonderful

2011-08-20 Thread John Clements
I have not been reading mail diligently, so please forgive me if I'm repeating something already said, but I'm totally in love with online check syntax, especially w.r.t. unbound identifiers. A great big huge improvement. Many, many thanks. John smime.p7s Description: S/MIME cryptographic si

Re: [racket] Racket in the large

2011-08-20 Thread Jos Koot
This reminds me of a project I once, some 20 or more years ago, did for converting SPSS system files from CDC6400 and CDC205 to SPSS system files to IBM9000. Unfortunately CDC has gone down shortly after. Different word size, different character encoding etc. Typically these system files were store