[racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
Suggested release announcement follows, with crappy descriptions that
I added as an initial skeleton.  Please tell me which ones need to be
removed, send suggested edits including order changes, and tell me
about things that are not included.

* Racket now comes with "places" -- a different approach for
  parallelism.  (Now used for parallel compilation of the Racket
  tree.)

* New x86_64 builds for Windows, OS X, and two Debian flavors.

* Most "body" contexts (function body, `cond', etc) accept a mix of
  definitions and expressions.

* `for' and related loops have a new `#:unless' keyword as a synonym
  for `#:when' and a negated condition; positive integers can now be
  used as sequences.

* `assoc' accepts an optional argument for the comparison function
  to be used.

* A new `multi-in' require form makes it easy to require several
  modules that come from a single directory (or same-named files
  from multiple directories).

* `procedure-arity-includes?' reports #f for keyword-requiring procs
  by default.

* New `compose1' -- composes functions where the pipeline carries
  only single values.  This is useful to avoid inadvertent bugs when
  I/O arities of composed functions changes.

* New in `racket/function': `identity' `thunk' `thunk*'

* New `ffi/winapi' module for use with Windows functions that use
  the Windows API (same as `stdcall' on 32 bits).

* Syntax certificates are gone, instead, there is now a new "syntax
  taints" system.  (Notes about migrating?)

* The license has been clarified: we now use LGPLv2.1 uniformly.
  (The license file used to specify LGPLv2, contrary to the download
  pages.)


* `net/url' can now be used with `https'.  (Warning: by default it
  accepts any site, equivalent to ignoring your browser's warnings.)

* New racket/contract/combinator library and some contract module
  reorganization (this is in 21cbd9ad)

* Simplified error messages in student languages, and use colors to
  add visual information (see the teachpack manual for guidelines on
  writing teachpacks).  (Is this the right place?  IIRC it moved.)

* New `scriblib/bibtex' that can read bibliographic databases in
  bibtex format.

* Sam, Vincent: TR news?  (Many new types from Eric Dobson?
  Optimizer logs?)

* Matthias: 2/HtDP news?

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Sam Tobin-Hochstadt
On Mon, Aug 1, 2011 at 11:48 AM, Eli Barzilay  wrote:


> * Simplified error messages in student languages, and use colors to
>  add visual information (see the teachpack manual for guidelines on
>  writing teachpacks).  (Is this the right place?  IIRC it moved.)

I don't believe the colors are implemented in the tree yet.

> * Sam, Vincent: TR news?  (Many new types from Eric Dobson?
>  Optimizer logs?)

Almost all core Racket data structures and operations now work with
Typed Racket (most of this work is due to prolific contributor Eric
Dobson).

-- 
sam th
sa...@ccs.neu.edu

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Guillaume Marceau
On Mon, Aug 1, 2011 at 11:48 AM, Eli Barzilay  wrote:
> * Simplified error messages in student languages, and use colors to
>  add visual information (see the teachpack manual for guidelines on
>  writing teachpacks).  (Is this the right place?  IIRC it moved.)
>

"
* The error messages in the student languages now use a smaller
vocabulary base, and use a
  more consistent phrasing across messages. Please update the error
messages of your
  teachpacks and curriculum material to match. See the 'Error Message
Composition Guidelines'
  in the help desk.
"


> use colors to add visual information

This is not implemented yet.

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Vincent St-Amour
At Mon, 1 Aug 2011 11:57:06 -0400,
Sam Tobin-Hochstadt wrote:
> > * Sam, Vincent: TR news?  (Many new types from Eric Dobson?
> >  Optimizer logs?)
> 
> Almost all core Racket data structures and operations now work with
> Typed Racket (most of this work is due to prolific contributor Eric
> Dobson).

I'd add:
- The performance of the Typed Racket typechecker has been
  significantly improved.
- Typed Racket now optimizes at the REPL and inside typed regions.
- Typed Racket now provides a command-line static performance
  debugging tool. A DrRacket-based graphical version will be available
  in the next release.

Unrelated to TR:
- A high-level interface to Racket's logging facilities is now
  available in `unstable/logging'.

Vincent

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
About a minute ago, Vincent St-Amour wrote:
> 
> I'd add:
> - The performance of the Typed Racket typechecker has been
>   significantly improved.

OK.


> - Typed Racket now optimizes at the REPL and inside typed regions.

This sounds too uninteresting for most users.


> - Typed Racket now provides a command-line static performance
>   debugging tool.

It is?  In any case, I'd prefer announcing it when the whole thing is
ready, ...

>   A DrRacket-based graphical version will be
>   available in the next release.

... and avoid pre-announcements for future features.


> Unrelated to TR:
> - A high-level interface to Racket's logging facilities is now
>   available in `unstable/logging'.

So far there were no announcements about anything in `unstable', and I
like to keep it out of the very public announcements.  (Unrelated to
posting about it privately as a process to consider moving things
out.)

[Also, I think that it's probably time to add some toplevel `debug'
collection with such utilities -- I've recently added `unstable/time'
which should be there too, as well as cleaned-up versions of the debug
file there.]

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Sam Tobin-Hochstadt
On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay  wrote:
> About a minute ago, Vincent St-Amour wrote:
>> - Typed Racket now optimizes at the REPL and inside typed regions.
>
> This sounds too uninteresting for most users.

Have we run out of space for release notes?  This certainly isn't as
important as places, but I think we should err on the side of more
rather than less in the release notes.

>> - Typed Racket now provides a command-line static performance
>>   debugging tool.
>
> It is?  In any case, I'd prefer announcing it when the whole thing is
> ready, ...

Typed Racket does, in the release, provide exactly that.  Should it
not be announced because it will get better in the future?

>>   A DrRacket-based graphical version will be
>>   available in the next release.
>
> ... and avoid pre-announcements for future features.

The reason that we wanted to include this is that Vincent demo'd this
feature at RacketCon; the sentence clarifies for anyone who saw or
heard about this when it will be available, and that it isn't the
version of the feature provided in 5.1.2.

>> Unrelated to TR:
>> - A high-level interface to Racket's logging facilities is now
>>   available in `unstable/logging'.
>
> So far there were no announcements about anything in `unstable', and I
> like to keep it out of the very public announcements.  (Unrelated to
> posting about it privately as a process to consider moving things
> out.)

This is something that lots of people have asked for, and feedback
from them on the interface would be useful while it's still in
development.
-- 
sam th
sa...@ccs.neu.edu

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Shriram Krishnamurthi
Correct, no colors.

On Mon, Aug 1, 2011 at 11:57 AM, Sam Tobin-Hochstadt  wrote:
> On Mon, Aug 1, 2011 at 11:48 AM, Eli Barzilay  wrote:
>
>
>> * Simplified error messages in student languages, and use colors to
>>  add visual information (see the teachpack manual for guidelines on
>>  writing teachpacks).  (Is this the right place?  IIRC it moved.)
>
> I don't believe the colors are implemented in the tree yet.
>
>> * Sam, Vincent: TR news?  (Many new types from Eric Dobson?
>>  Optimizer logs?)
>
> Almost all core Racket data structures and operations now work with
> Typed Racket (most of this work is due to prolific contributor Eric
> Dobson).
>
> --
> sam th
> sa...@ccs.neu.edu
>
> _
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Robby Findler
On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay  wrote:
>> About a minute ago, Vincent St-Amour wrote:
>>> - Typed Racket now optimizes at the REPL and inside typed regions.
>>
>> This sounds too uninteresting for most users.
>
> Have we run out of space for release notes?  This certainly isn't as
> important as places, but I think we should err on the side of more
> rather than less in the release notes.

This doesn't make any sense to me so I expect people who read release notes
will be even more confused.

>>> - Typed Racket now provides a command-line static performance
>>>   debugging tool.
>>
>> It is?  In any case, I'd prefer announcing it when the whole thing is
>> ready, ...
>
> Typed Racket does, in the release, provide exactly that.  Should it
> not be announced because it will get better in the future?
>
>>>   A DrRacket-based graphical version will be
>>>   available in the next release.
>>
>> ... and avoid pre-announcements for future features.
>
> The reason that we wanted to include this is that Vincent demo'd this
> feature at RacketCon; the sentence clarifies for anyone who saw or
> heard about this when it will be available, and that it isn't the
> version of the feature provided in 5.1.2.

I agree with Eli here too. But I don't have a strong opinion.

>>> Unrelated to TR:
>>> - A high-level interface to Racket's logging facilities is now
>>>   available in `unstable/logging'.
>>
>> So far there were no announcements about anything in `unstable', and I
>> like to keep it out of the very public announcements.  (Unrelated to
>> posting about it privately as a process to consider moving things
>> out.)
>
> This is something that lots of people have asked for, and feedback
> from them on the interface would be useful while it's still in
> development.

I agree with Eli on this one.

As on the users mailing list.

> --
> sam th
> sa...@ccs.neu.edu
>
> _
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Sam Tobin-Hochstadt
On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler
 wrote:
>
> On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
>> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay  wrote:
>>> About a minute ago, Vincent St-Amour wrote:
 - Typed Racket now optimizes at the REPL and inside typed regions.
>>>
>>> This sounds too uninteresting for most users.
>>
>> Have we run out of space for release notes?  This certainly isn't as
>> important as places, but I think we should err on the side of more
>> rather than less in the release notes.
>
> This doesn't make any sense to me so I expect people who read release notes
> will be even more confused.

Then we should clarify.  Does the following help?

The Typed Racket optimizer now applies to typed programs entered at
the REPL and inside of typed regions created by `with-type', not just
to modules written in the `typed/*' family of languages.

-- 
sam th
sa...@ccs.neu.edu

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Robby Findler
Ah. That does help. And seems Borderline for the release notes.

Robby

On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
> On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler
>  wrote:
>>
>> On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
>>> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay  wrote:
 About a minute ago, Vincent St-Amour wrote:
> - Typed Racket now optimizes at the REPL and inside typed regions.

 This sounds too uninteresting for most users.
>>>
>>> Have we run out of space for release notes?  This certainly isn't as
>>> important as places, but I think we should err on the side of more
>>> rather than less in the release notes.
>>
>> This doesn't make any sense to me so I expect people who read release
notes
>> will be even more confused.
>
> Then we should clarify.  Does the following help?
>
> The Typed Racket optimizer now applies to typed programs entered at
> the REPL and inside of typed regions created by `with-type', not just
> to modules written in the `typed/*' family of languages.
>
> --
> sam th
> sa...@ccs.neu.edu
>
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
15 minutes ago, Robby Findler wrote:
> Ah. That does help. And seems Borderline for the release notes.

Actually, I thought that this was always part of the optimizer.  In
any case, I think that it's borderline because REPL optimizations are
probably not something that people would be aware of and `with-type'
sounds too specific to be broadly applicable.

(And BTW, there *is* limited space for release notes -- otherwise
these discussions would never happen.)


> On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
> > On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler
> >  wrote:
> >>
> >> On Monday, August 1, 2011, Sam Tobin-Hochstadt  wrote:
> >>> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay  wrote:
>  About a minute ago, Vincent St-Amour wrote:
> > - Typed Racket now optimizes at the REPL and inside typed regions.
> 
>  This sounds too uninteresting for most users.
> >>>
> >>> Have we run out of space for release notes?  This certainly isn't as
> >>> important as places, but I think we should err on the side of more
> >>> rather than less in the release notes.
> >>
> >> This doesn't make any sense to me so I expect people who read release
> notes
> >> will be even more confused.
> >
> > Then we should clarify.  Does the following help?
> >
> > The Typed Racket optimizer now applies to typed programs entered at
> > the REPL and inside of typed regions created by `with-type', not just
> > to modules written in the `typed/*' family of languages.
> >
> > --
> > sam th
> > sa...@ccs.neu.edu
> >

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Sam Tobin-Hochstadt
On Mon, Aug 1, 2011 at 2:50 PM, Eli Barzilay  wrote:
> `with-type'
> sounds too specific to be broadly applicable.

`with-type' allows embedding typed regions inside arbitrary other
blocks of untyped code -- it's certainly generally applicable.

> (And BTW, there *is* limited space for release notes -- otherwise these 
> discussions would never happen.)

There's certainly limited space for the most prominent elements of the
release notes.  But I think the right solution there is to pick some
small number of items (say, 5) that are most significant, and
highlight them.  Then much more can be included below that, and
finally some information about minor changes (fixed bugs, for
example).  The git release notes are an example of this style:
http://kernel.org/pub/software/scm/git/docs/RelNotes-1.7.0.txt
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Matthew Flatt
Some initial drafts, maybe too long:

 * The download page includes distributions for 64-bit Windows, Mac OS
   X, and two Debian flavors.

 * Racket now includes a new `racket/place' library to support
   parallelism as a complement the existing `racket/future' library.
   Racket's parallel build process is now based on places instead of
   multiple OS processes.

   To a first approximation, places support share-nothing parallelism
   and message-passing communication. Places are heavyweight compared
   to futures, but they have a simpler performance model compared to
   the best-effort parallelism of futures.

 * The syntax-certificate system has been replaced by a syntax-taint
   system.

   Both certificates and taints were designed to protect otherwise
   inaccessible bindings from abuse when they appear in macro
   expansions. Taints are simpler and impose less overhead on expansion
   and bytecode marshaling. The switch to taints also closes the
   certificate system's known holes. Macros that are not implemented
   with `syntax-rules' or `define-syntax-rule', however, must
   explicitly use `syntax-protect' to protect their expansions from
   abuse.

 * The `net/url' supports HTTPS connections, but beware that HTTPS
   handling accepts any site by default (which is equivalent to
   ignoring a browser's warnings about untrusted certificates).


> * Most "body" contexts (function body, `cond', etc) accept a mix of
>   definitions and expressions.

Wasn't that in v5.0.1? Or did you have in mind the recent changes that
are not in v5.1.2? Or something else?

The others that might be mine seem too minor to include in an
announcement.

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Matthew Flatt
At Mon, 1 Aug 2011 15:03:21 -0400, Sam Tobin-Hochstadt wrote:
> There's certainly limited space for the most prominent elements of the
> release notes.  But I think the right solution there is to pick some
> small number of items (say, 5) that are most significant, and
> highlight them.  Then much more can be included below that, and
> finally some information about minor changes (fixed bugs, for
> example).  The git release notes are an example of this style:
> http://kernel.org/pub/software/scm/git/docs/RelNotes-1.7.0.txt

My preference is that *release notes* in the docs/distribution have no
limit, but a *release announcement* includes highlights only.

Few parts of our distribution currently have release notes:

 http://docs.racket-lang.org/release/index.html

In some past cases, such as web server changes, I wished that we had
more release notes. Maybe we need more sections on that page, or maybe
the notes should be reorganized into one big set of notes.

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
15 minutes ago, Matthew Flatt wrote:
> Some initial drafts, maybe too long:
> [...]
> > * Most "body" contexts (function body, `cond', etc) accept a mix of
> >   definitions and expressions.
> 
> Wasn't that in v5.0.1? Or did you have in mind the recent changes
> that are not in v5.1.2? Or something else?

[Ugh...  Those changes confused me.  It was in 5.0.2, and I only
looked at 5.1.1 for the past item...]


> The others that might be mine seem too minor to include in an
> announcement.

So items that are dropped:

* `assoc' accepts an optional argument for the comparison function
  to be used.

* `procedure-arity-includes?' reports #f for keyword-requiring procs
  by default.

* New `ffi/winapi' module for use with Windows functions that use
  the Windows API (same as `stdcall' on 32 bits).

Anything else?

I'll also see if I can get things into more coherent shape.

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
15 minutes ago, Matthew Flatt wrote:
> 
> My preference is that *release notes* in the docs/distribution have no
> limit, but a *release announcement* includes highlights only.
> 
> Few parts of our distribution currently have release notes:
> 
>  http://docs.racket-lang.org/release/index.html
> 
> In some past cases, such as web server changes, I wished that we had
> more release notes. Maybe we need more sections on that page, or maybe
> the notes should be reorganized into one big set of notes.

Actually I forgot to mention this, but TR is big enough that it's
looking odd that it doesn't have those notes.  It was especially
relevant when things changed around the meaning of Number.

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Sam Tobin-Hochstadt
On Mon, Aug 1, 2011 at 3:11 PM, Matthew Flatt  wrote:
> At Mon, 1 Aug 2011 15:03:21 -0400, Sam Tobin-Hochstadt wrote:
>> There's certainly limited space for the most prominent elements of the
>> release notes.  But I think the right solution there is to pick some
>> small number of items (say, 5) that are most significant, and
>> highlight them.  Then much more can be included below that, and
>> finally some information about minor changes (fixed bugs, for
>> example).  The git release notes are an example of this style:
>> http://kernel.org/pub/software/scm/git/docs/RelNotes-1.7.0.txt
>
> My preference is that *release notes* in the docs/distribution have no
> limit, but a *release announcement* includes highlights only.

That seems reasonable, but traditionally our release announcements
have not mentioned the existence of release notes.  Probably for the
reason below ...

> Few parts of our distribution currently have release notes:
>
>  http://docs.racket-lang.org/release/index.html
>
> In some past cases, such as web server changes, I wished that we had
> more release notes. Maybe we need more sections on that page, or maybe
> the notes should be reorganized into one big set of notes.

Right now, I think the release notes are mostly organized (implicitly)
by who is responsible for them.  A simple revision might be just to
organize based on the distribution specs (so racket-textual, racket,
racket-full).  That would both simplify the current set of sections,
and make it clearer where new things should go.
-- 
sam th
sa...@ccs.neu.edu

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Eli Barzilay
40 minutes ago, Sam Tobin-Hochstadt wrote:
> On Mon, Aug 1, 2011 at 2:50 PM, Eli Barzilay  wrote:
> > `with-type' sounds too specific to be broadly applicable.
> 
> `with-type' allows embedding typed regions inside arbitrary other
> blocks of untyped code -- it's certainly generally applicable.

I know what it does -- I meant specific in terms of people who use it.
(It's also a question in general, since you might gain some cpu via
optimizations, but there's currently a sizable cost for the boundary.)


> > (And BTW, there *is* limited space for release notes -- otherwise
> > these discussions would never happen.)
> 
> There's certainly limited space for the most prominent elements of
> the release notes.  But I think the right solution there is to pick
> some small number of items (say, 5) that are most significant, and
> highlight them.

Right -- and our release notes are roughly equivalent to these 5
items.


> Then much more can be included below that, and finally some
> information about minor changes (fixed bugs, for example).  The git
> release notes are an example of this style:
> http://kernel.org/pub/software/scm/git/docs/RelNotes-1.7.0.txt

The git process is very similar to what we do -- for the top items.
For the rest, they tend to keep more organized commit messages and/or
change logs that make generating such lists easier.

In any case, I have no opinion about a new format (at least not for
now), but discussing such changes should happen *after* this release
goes out.

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


[racket-dev] Release Announcement for v5.1.2, second round

2011-08-01 Thread Eli Barzilay
The release announcement sketch that I have so far is below.  Please
mail me new items and/or edits.

Robby and Jay -- two pending items:

? New racket/contract/combinator library and some contract module
  reorganization (this is in 21cbd9ad)

? New `scriblib/bibtex' that can read bibliographic databases in
  bibtex format.

--
* The download page includes 64-bit installers for Windows, Mac OS
  X, and two Debian flavors.

* Racket now includes a new `racket/place' library to support
  parallelism, complementing `racket/future'.  Racket's parallel
  build process is now based on places instead of multiple OS
  processes.

  Places support share-nothing parallelism and message-passing
  communication.  Compared to futures, places are heavyweight, but
  they have a simpler performance model.

* The syntax-certificate system has been replaced by a syntax-taint
  system.  Both certificates and taints were designed to protect
  otherwise inaccessible bindings from abuse when they appear in
  macro expansions.  Taints are simpler and lighter, and the switch
  closes known holes in the certificate system.  Macros that are not
  implemented with `syntax-rules' or `define-syntax-rule', however,
  must explicitly use `syntax-protect' to protect their expansions
  from abuse.

* The `net/url' library supports HTTPS connections, but beware that
  by default all sites are accepted (equivalent to ignoring a
  browser's warnings about untrusted certificates).

* The `for' forms now support an `#:unless' clause, and a
  nonnegative integer can be used as a sequence.  The new `compose1'
  function creates single-valued composition functions.  The
  `racket/function' library now provides `identity', `thunk', and
  `thunk*'.

* Error messages in the student languages use a smaller vocabulary
  and consistent phrasings.  If you maintain curriculum material or
  teachpacks then please consider updating.  See the "Error Message
  Composition Guidelines" section in the documentation for details.

* Typed Racket: almost all core Racket data structures and
  operations are now accessible in Typed Racket (most of this work
  is due to prolific contributor Eric Dobson).  The performance of
  the typechecker has been significantly improved.

* The license has been clarified: we now use LGPLv2.1 uniformly.
  (The license file used to specify LGPLv2, contrary to the download
  pages.)
--
-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.1.2, second round

2011-08-01 Thread Robby Findler
No, not mine. (the bibtex lib sounds worth including to me)

On Monday, August 1, 2011, Eli Barzilay  wrote:
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
>
> Robby and Jay -- two pending items:
>
> ? New racket/contract/combinator library and some contract module
>  reorganization (this is in 21cbd9ad)
>
> ? New `scriblib/bibtex' that can read bibliographic databases in
>  bibtex format.
>
> --
> * The download page includes 64-bit installers for Windows, Mac OS
>  X, and two Debian flavors.
>
> * Racket now includes a new `racket/place' library to support
>  parallelism, complementing `racket/future'.  Racket's parallel
>  build process is now based on places instead of multiple OS
>  processes.
>
>  Places support share-nothing parallelism and message-passing
>  communication.  Compared to futures, places are heavyweight, but
>  they have a simpler performance model.
>
> * The syntax-certificate system has been replaced by a syntax-taint
>  system.  Both certificates and taints were designed to protect
>  otherwise inaccessible bindings from abuse when they appear in
>  macro expansions.  Taints are simpler and lighter, and the switch
>  closes known holes in the certificate system.  Macros that are not
>  implemented with `syntax-rules' or `define-syntax-rule', however,
>  must explicitly use `syntax-protect' to protect their expansions
>  from abuse.
>
> * The `net/url' library supports HTTPS connections, but beware that
>  by default all sites are accepted (equivalent to ignoring a
>  browser's warnings about untrusted certificates).
>
> * The `for' forms now support an `#:unless' clause, and a
>  nonnegative integer can be used as a sequence.  The new `compose1'
>  function creates single-valued composition functions.  The
>  `racket/function' library now provides `identity', `thunk', and
>  `thunk*'.
>
> * Error messages in the student languages use a smaller vocabulary
>  and consistent phrasings.  If you maintain curriculum material or
>  teachpacks then please consider updating.  See the "Error Message
>  Composition Guidelines" section in the documentation for details.
>
> * Typed Racket: almost all core Racket data structures and
>  operations are now accessible in Typed Racket (most of this work
>  is due to prolific contributor Eric Dobson).  The performance of
>  the typechecker has been significantly improved.
>
> * The license has been clarified: we now use LGPLv2.1 uniformly.
>  (The license file used to specify LGPLv2, contrary to the download
>  pages.)
> --
> --
>  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
>http://barzilay.org/   Maze is Life!
> _
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev