Some kind of compression could help, but at the moment the format is designed so that if someone were to copy and paste the contents of a file into an email window and send it to us, we could still use it (wierd linebreaks and all) and even if it gets truncated there is some hope of recovering some of the content of the file. There probably is a way to do better, but these properties have proven useful in the past.
Robby On Tue, Jun 29, 2010 at 11:57 AM, Guillaume Marceau <[email protected]> wrote: > On Sat, Jun 26, 2010 at 2:30 PM, Robby Findler > <[email protected]> wrote: >> >> Saving comment boxes requires the file to be saved in our fancy file >> format and it adds a fair amount of overhead to do that. > > My impression is that all overhead would pretty much disappear if the > binary format was gzipped. > > I would like to see a variant of the .rkt format with implicit > compression, like .jar's, or .pdf's. These are compressed, but without > the file name extension exposing that fact to users. > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
