Re: [racket-dev] Release Announcement for v6.4

2016-01-27 Thread Vincent St-Amour
Thank you all for responding.

A draft announcement is below. Comments welcome.

Vincent


- Incremental garbage-collection mode can eliminate long pauses in a
  program. For example, incremental mode is useful for avoiding pauses
  in games and animations.

  Programs must specifically request incremental mode with
  `(collect-garbage 'incremental)`, but libraries such as
  `2htdp/universe` include the request as part of the library's
  implementation.

- The default package catalog is an HTTPS address instead of HTTP, and
  package operations properly validate server certificates when using
  HTTPS.

- Documentation may define their own categories for the manual top-
  level page by using strings, rather than only symbols that name
  pre-defined categories.

- DrRacket's scrolling is faster.

- The Racket cheat sheet is included in the main distribution.

- DrRacket is available in Bulgarian, thanks to Alexander Shopov.

- The contract Typed Racket generates for the `Any` type is more
  permissive, allowing more typed/untyped programs to work without
  contract errors.

- Redex supports binding specifications; describe which variables bind
  in which expressions and your metafunctions and reduction relations
  automatically become scope-sensitive. Thanks to Paul Stansifer for
  this improvement.

- All `pict` functions accept `pict-convertible`s. This allows for
  transparent interoperability between `pict` and  libraries like
  `2htdp/image`.

- The `raco profile` and `raco contract-profile` commands provide easy
  access to profiling tools, without requiring program modifications.





On Mon, 25 Jan 2016 12:24:15 -0600,
Vincent St-Amour wrote:
> 
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
> 
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
> 
> general:
> - HTTPS (for pkg catalog, and others)
> 
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
> 
> robby:
> - contract performance improvements (various)
> - racket/contract/combinator exports cleanup (99d7ad56d954)
> 
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)
> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> - cheat sheet
> 
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)
> 
> stamourv:
> - additions to `racket/random`
> 
> Juan Francisco Cantero Hurtado:
> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
> 
> Alex Knauth:
> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
> 
> 
> Other repos:
> 
> redex:
> - robby / Paul Stansifer: binding specifications (6410411)
> 
> scribble:
> - mflatt: scribble/examples (50f835c)
> - florence: allow manipulation of scribble.tex imports (2881ef2)
> 
> plot:
> - bennn: jitter (fc4f7e2)
> 
> pict:
> - florence: pict/convertible changes (b95113d)
> - stamourv: codeblock-pict (29806e2)
> 
> typed racket:
> - contract performance improvements
> - typechecking performance improvements
> 
> profile / contract profile:
> - stamourv: add raco profile / raco contract-profile
> - stamourv: overhaul contract-profile output
> 
> htdp:
> - mflatt: performance improvements for world from incremental GC?
> 
> drracket:
> - robby: anything major?
> 
> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?
> 
> string-constants:
> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
> 
> --
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/m2vb6e5q2c.wl-stamourv%40eecs.northwestern.edu.
For more options, visit 

Re: [racket-dev] Release Announcement for v6.4

2016-01-27 Thread Matthias Felleisen

+1 

I’d wait. 




> On Jan 27, 2016, at 9:17 PM, Matthew Flatt  wrote:
> 
> Since the improvements so far would need explanation, and since further
> improvements are still in progress (especially relative to the v6.4
> branch), a separate message to the mailing list --- or a blog post? ---
> seems better than a bullet in the release announcement.
> 
> At Wed, 27 Jan 2016 19:00:04 -0600, Robby Findler wrote:
>> I think we might want to add a grain of salt to that part of the
>> announcement. People shouldn't expect radically improved performance
>> for, say, programs using the math library. It gets better in some
>> cases, but I feel like we need something that's a bit more uniformly
>> better before saying too much.
>> 
>> So I would either say nothing, or I would add some more qualifications
>> or specificity or something.
>> 
>> Robby
>> 
>> On Wed, Jan 27, 2016 at 6:43 PM, Sam Tobin-Hochstadt
>>  wrote:
>>> For Typed Racket:
>>> 
>>> Typed Racket now generates contracts with lower overhead in many
>>> cases, speeding up typed/untyped interaction.
>>> 
>>> The contract generated for the `Any` type is now more permissive,
>>> allowing more typed/untyped programs to work without contract errors.
>>> 
>>> Sam
>>> 
>>> On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
>>>  wrote:
 The release announcement sketch that I have so far is below.  Please
 mail me new items and/or edits.
 
 Please phrase announcements using complete sentences and avoid the
 word "now".
 --
 
 general:
 - HTTPS (for pkg catalog, and others)
 
 mflatt:
 - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
 - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
 - deterministic bytecode generation (2743ea06bbc and others)
 - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
 - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
 - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
 - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
 
 robby:
 - contract performance improvements (various)
 - racket/contract/combinator exports cleanup (99d7ad56d954)
 
 jay:
 - `read-cdot` and related parameters (551e4d5a0d395)
 - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
 - cheat sheet
 
 asumu:
 - Make id-table API more hash-like (14d25abd 92fc1f41)
 
 stamourv:
 - additions to `racket/random`
 
 Juan Francisco Cantero Hurtado:
 - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
 
 Alex Knauth:
 - Allow separate read and write contracts for box/c (67e3899272792c2e5)
 
 
 Other repos:
 
 redex:
 - robby / Paul Stansifer: binding specifications (6410411)
 
 scribble:
 - mflatt: scribble/examples (50f835c)
 - florence: allow manipulation of scribble.tex imports (2881ef2)
 
 plot:
 - bennn: jitter (fc4f7e2)
 
 pict:
 - florence: pict/convertible changes (b95113d)
 - stamourv: codeblock-pict (29806e2)
 
 typed racket:
 - contract performance improvements
 - typechecking performance improvements
 
 profile / contract profile:
 - stamourv: add raco profile / raco contract-profile
 - stamourv: overhaul contract-profile output
 
 htdp:
 - mflatt: performance improvements for world from incremental GC?
 
 drracket:
 - robby: anything major?
 
 gui:
 - avoid using high-power GPU on Mac?
 - scrolling speed improvements?
 
 string-constants:
 - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
 
 --
 
 --
 You received this message because you are subscribed to the Google Groups 
>> "Racket Developers" group.
 To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-dev+unsubscr...@googlegroups.com.
 To post to this group, send email to racket-dev@googlegroups.com.
 To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.nort
>> hwestern.edu.
 For more options, visit https://groups.google.com/d/optout.
>>> 
>>> --
>>> You received this message because you are subscribed to the Google Groups 
>> "Racket Developers" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-dev+unsubscr...@googlegroups.com.
>>> To post to this group, send email to racket-dev@googlegroups.com.
>>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BaewTj9APKnhbgiAidxN%3DP
>> ftC%3DyM-fi1NbHjA06suzp6A%40mail.gmail.com.
>>> For more options, visit https://groups.google.com/d/optout.
>> 
>> 

Re: [racket-dev] Release Announcement for v6.4

2016-01-27 Thread Matthew Flatt
Since the improvements so far would need explanation, and since further
improvements are still in progress (especially relative to the v6.4
branch), a separate message to the mailing list --- or a blog post? ---
seems better than a bullet in the release announcement.

At Wed, 27 Jan 2016 19:00:04 -0600, Robby Findler wrote:
> I think we might want to add a grain of salt to that part of the
> announcement. People shouldn't expect radically improved performance
> for, say, programs using the math library. It gets better in some
> cases, but I feel like we need something that's a bit more uniformly
> better before saying too much.
> 
> So I would either say nothing, or I would add some more qualifications
> or specificity or something.
> 
> Robby
> 
> On Wed, Jan 27, 2016 at 6:43 PM, Sam Tobin-Hochstadt
>  wrote:
> > For Typed Racket:
> >
> > Typed Racket now generates contracts with lower overhead in many
> > cases, speeding up typed/untyped interaction.
> >
> > The contract generated for the `Any` type is now more permissive,
> > allowing more typed/untyped programs to work without contract errors.
> >
> > Sam
> >
> > On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
> >  wrote:
> >> The release announcement sketch that I have so far is below.  Please
> >> mail me new items and/or edits.
> >>
> >> Please phrase announcements using complete sentences and avoid the
> >> word "now".
> >> --
> >>
> >> general:
> >> - HTTPS (for pkg catalog, and others)
> >>
> >> mflatt:
> >> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> >> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> >> - deterministic bytecode generation (2743ea06bbc and others)
> >> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> >> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> >> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> >> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
> >>
> >> robby:
> >> - contract performance improvements (various)
> >> - racket/contract/combinator exports cleanup (99d7ad56d954)
> >>
> >> jay:
> >> - `read-cdot` and related parameters (551e4d5a0d395)
> >> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> >> - cheat sheet
> >>
> >> asumu:
> >> - Make id-table API more hash-like (14d25abd 92fc1f41)
> >>
> >> stamourv:
> >> - additions to `racket/random`
> >>
> >> Juan Francisco Cantero Hurtado:
> >> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
> >>
> >> Alex Knauth:
> >> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
> >>
> >>
> >> Other repos:
> >>
> >> redex:
> >> - robby / Paul Stansifer: binding specifications (6410411)
> >>
> >> scribble:
> >> - mflatt: scribble/examples (50f835c)
> >> - florence: allow manipulation of scribble.tex imports (2881ef2)
> >>
> >> plot:
> >> - bennn: jitter (fc4f7e2)
> >>
> >> pict:
> >> - florence: pict/convertible changes (b95113d)
> >> - stamourv: codeblock-pict (29806e2)
> >>
> >> typed racket:
> >> - contract performance improvements
> >> - typechecking performance improvements
> >>
> >> profile / contract profile:
> >> - stamourv: add raco profile / raco contract-profile
> >> - stamourv: overhaul contract-profile output
> >>
> >> htdp:
> >> - mflatt: performance improvements for world from incremental GC?
> >>
> >> drracket:
> >> - robby: anything major?
> >>
> >> gui:
> >> - avoid using high-power GPU on Mac?
> >> - scrolling speed improvements?
> >>
> >> string-constants:
> >> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
> >>
> >> --
> >>
> >> --
> >> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> >> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> >> To post to this group, send email to racket-dev@googlegroups.com.
> >> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.nort
> hwestern.edu.
> >> For more options, visit https://groups.google.com/d/optout.
> >
> > --
> > You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> > To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> > To post to this group, send email to racket-dev@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BaewTj9APKnhbgiAidxN%3DP
> ftC%3DyM-fi1NbHjA06suzp6A%40mail.gmail.com.
> > For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this gro

Re: [racket-dev] Release Announcement for v6.4

2016-01-27 Thread Robby Findler
I think we might want to add a grain of salt to that part of the
announcement. People shouldn't expect radically improved performance
for, say, programs using the math library. It gets better in some
cases, but I feel like we need something that's a bit more uniformly
better before saying too much.

So I would either say nothing, or I would add some more qualifications
or specificity or something.

Robby

On Wed, Jan 27, 2016 at 6:43 PM, Sam Tobin-Hochstadt
 wrote:
> For Typed Racket:
>
> Typed Racket now generates contracts with lower overhead in many
> cases, speeding up typed/untyped interaction.
>
> The contract generated for the `Any` type is now more permissive,
> allowing more typed/untyped programs to work without contract errors.
>
> Sam
>
> On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
>  wrote:
>> The release announcement sketch that I have so far is below.  Please
>> mail me new items and/or edits.
>>
>> Please phrase announcements using complete sentences and avoid the
>> word "now".
>> --
>>
>> general:
>> - HTTPS (for pkg catalog, and others)
>>
>> mflatt:
>> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
>> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
>> - deterministic bytecode generation (2743ea06bbc and others)
>> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
>> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
>> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
>> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
>>
>> robby:
>> - contract performance improvements (various)
>> - racket/contract/combinator exports cleanup (99d7ad56d954)
>>
>> jay:
>> - `read-cdot` and related parameters (551e4d5a0d395)
>> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
>> - cheat sheet
>>
>> asumu:
>> - Make id-table API more hash-like (14d25abd 92fc1f41)
>>
>> stamourv:
>> - additions to `racket/random`
>>
>> Juan Francisco Cantero Hurtado:
>> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
>>
>> Alex Knauth:
>> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
>>
>>
>> Other repos:
>>
>> redex:
>> - robby / Paul Stansifer: binding specifications (6410411)
>>
>> scribble:
>> - mflatt: scribble/examples (50f835c)
>> - florence: allow manipulation of scribble.tex imports (2881ef2)
>>
>> plot:
>> - bennn: jitter (fc4f7e2)
>>
>> pict:
>> - florence: pict/convertible changes (b95113d)
>> - stamourv: codeblock-pict (29806e2)
>>
>> typed racket:
>> - contract performance improvements
>> - typechecking performance improvements
>>
>> profile / contract profile:
>> - stamourv: add raco profile / raco contract-profile
>> - stamourv: overhaul contract-profile output
>>
>> htdp:
>> - mflatt: performance improvements for world from incremental GC?
>>
>> drracket:
>> - robby: anything major?
>>
>> gui:
>> - avoid using high-power GPU on Mac?
>> - scrolling speed improvements?
>>
>> string-constants:
>> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
>>
>> --
>>
>> --
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Developers" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-dev+unsubscr...@googlegroups.com.
>> To post to this group, send email to racket-dev@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu.
>> For more options, visit https://groups.google.com/d/optout.
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BaewTj9APKnhbgiAidxN%3DPftC%3DyM-fi1NbHjA06suzp6A%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAL3TdOMbWHYAKO0%3DqWLtDrNmU%2B-MhQ8tYvhWQzXLtVwaFEABog%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-27 Thread Sam Tobin-Hochstadt
For Typed Racket:

Typed Racket now generates contracts with lower overhead in many
cases, speeding up typed/untyped interaction.

The contract generated for the `Any` type is now more permissive,
allowing more typed/untyped programs to work without contract errors.

Sam

On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
 wrote:
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
>
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
>
> general:
> - HTTPS (for pkg catalog, and others)
>
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
>
> robby:
> - contract performance improvements (various)
> - racket/contract/combinator exports cleanup (99d7ad56d954)
>
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)
> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> - cheat sheet
>
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)
>
> stamourv:
> - additions to `racket/random`
>
> Juan Francisco Cantero Hurtado:
> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
>
> Alex Knauth:
> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
>
>
> Other repos:
>
> redex:
> - robby / Paul Stansifer: binding specifications (6410411)
>
> scribble:
> - mflatt: scribble/examples (50f835c)
> - florence: allow manipulation of scribble.tex imports (2881ef2)
>
> plot:
> - bennn: jitter (fc4f7e2)
>
> pict:
> - florence: pict/convertible changes (b95113d)
> - stamourv: codeblock-pict (29806e2)
>
> typed racket:
> - contract performance improvements
> - typechecking performance improvements
>
> profile / contract profile:
> - stamourv: add raco profile / raco contract-profile
> - stamourv: overhaul contract-profile output
>
> htdp:
> - mflatt: performance improvements for world from incremental GC?
>
> drracket:
> - robby: anything major?
>
> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?
>
> string-constants:
> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
>
> --
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BaewTj9APKnhbgiAidxN%3DPftC%3DyM-fi1NbHjA06suzp6A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Vincent St-Amour
On Tue, 26 Jan 2016 12:40:51 -0600,
Alex Knauth wrote:
> 
> 
> > On Jan 25, 2016, at 1:24 PM, Vincent St-Amour 
> >  wrote:
> > 
> > The release announcement sketch that I have so far is below.  Please
> > mail me new items and/or edits.
> > 
> > Please phrase announcements using complete sentences and avoid the
> > word "now".
> > --
> 
> > Alex Knauth:
> > - Allow separate read and write contracts for box/c (67e3899272792c2e5)
> 
> 
> Does this work?
> 
> Box contracts allow separate contracts for controlling reading from
> and writing to the box, which lets contracts make writing to a box
> more restrictive than reading from the same box.

Yep, that's perfect!

It does look, though, that we may not be including small changes like
this one in the release notes after all. My mistake.

Anyone has thoughts on the topic?

Vincent

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/m237tk6s24.wl-stamourv%40eecs.northwestern.edu.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Alex Knauth

> On Jan 25, 2016, at 1:24 PM, Vincent St-Amour 
>  wrote:
> 
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
> 
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --

> Alex Knauth:
> - Allow separate read and write contracts for box/c (67e3899272792c2e5)


Does this work?

Box contracts allow separate contracts for controlling reading from and writing 
to the box, which lets contracts make writing to a box more restrictive than 
reading from the same box.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/117E4EE5-1EFB-4971-A974-B969DACCA593%40knauth.org.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Vincent St-Amour
Probably not. It looks like we won't be mentioning individual new
bindings.

Vincent




On Mon, 25 Jan 2016 16:50:49 -0600,
Benjamin Greenman wrote:
> 
> Worth mentioning `combinations` and `in-combinations`?
> 
> On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
>  wrote:
> 
> The release announcement sketch that I have so far is below. Please
> mail me new items and/or edits.
> 
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
>
> 
> general:
> - HTTPS (for pkg catalog, and others)
> 
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> - add `internal-definition-context-{binding-identifier,track}`
> (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> - openssl 'secure protocol
> (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
> 
> robby:
> - contract performance improvements (various)
> - racket/contract/combinator exports cleanup (99d7ad56d954)
> 
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)
> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> - cheat sheet
> 
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)
> 
> stamourv:
> - additions to `racket/random`
> 
> Juan Francisco Cantero Hurtado:
> - Add config for linux/ppc64.
> (e957a7d6557f9718ba8493c20675b75a1145084a)
> 
> Alex Knauth:
> - Allow separate read and write contracts for box/c
> (67e3899272792c2e5)
> 
> 
> Other repos:
> 
> redex:
> - robby / Paul Stansifer: binding specifications (6410411)
> 
> scribble:
> - mflatt: scribble/examples (50f835c)
> - florence: allow manipulation of scribble.tex imports (2881ef2)
> 
> plot:
> - bennn: jitter (fc4f7e2)
> 
> pict:
> - florence: pict/convertible changes (b95113d)
> - stamourv: codeblock-pict (29806e2)
> 
> typed racket:
> - contract performance improvements
> - typechecking performance improvements
> 
> profile / contract profile:
> - stamourv: add raco profile / raco contract-profile
> - stamourv: overhaul contract-profile output
> 
> htdp:
> - mflatt: performance improvements for world from incremental GC?
> 
> drracket:
> - robby: anything major?
> 
> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?
> 
> string-constants:
> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
> 
> --
>
> 
> --
> You received this message because you are subscribed to the Google
> Groups "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it,
> send an email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit
> 
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu
>.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/m24me06vye.wl-stamourv%40eecs.northwestern.edu.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Vincent St-Amour
On Tue, 26 Jan 2016 10:50:05 -0600,
Jay McCarthy wrote:
> 
> On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
>  wrote:
> > The release announcement sketch that I have so far is below.  Please
> > mail me new items and/or edits.
> >
> > Please phrase announcements using complete sentences and avoid the
> > word "now".
> > --
> > jay:
> > - `read-cdot` and related parameters (551e4d5a0d395)
> 
> (I'm fine leaving this out until it is more exciting.)
> 
> Various parameters were added (`read-cdot`,
> `read-square-bracket-with-tag`, and `read-curly-brace-with-tag`) were
> added to support C-style syntax in parallel with traditional
> S-expressions for Remix.

Ok, let's wait for a future release then.

Vincent

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/m260yg6w3f.wl-stamourv%40eecs.northwestern.edu.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Asumu Takikawa
On 2016-01-25 12:24:15 -0600, Vincent St-Amour wrote:
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)

This one seems minor so I don't think it's needed.

If you do include, here's a blurb:

  * Identifier tables support more operations that are analogous
to those for hashtables.

Cheers,
Asumu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/20160126171933.GS14498%40simplyrobot.org.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Jay McCarthy
On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour
 wrote:
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
>
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)

(I'm fine leaving this out until it is more exciting.)

Various parameters were added (`read-cdot`,
`read-square-bracket-with-tag`, and `read-curly-brace-with-tag`) were
added to support C-style syntax in parallel with traditional
S-expressions for Remix.

> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)

Documentation may define their own categories for the manual top-level
page by using strings, rather than only symbols that name pre-defined
categories.

> - cheat sheet

The Racket cheat sheet is included in the main distribution.

-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

   "Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
  - D&C 64:33

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAJYbDak7QVb_aKuCODo3vuQtE2gkvVUZ5UKga5zSJt1Qz_ythw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-26 Thread Matthew Flatt
At Mon, 25 Jan 2016 12:24:15 -0600, Vincent St-Amour wrote:
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)

 * Incremental garbage-collection mode can eliminate long pauses in a
   program. For example, incremental mode is useful for avoiding pauses
   in games and animations.

   Programs must specifically request incremental mode with
   `(collect-garbage 'incremental)`, but libraries such as
   `2htdp/universe` include the request as part of the library's
   implementation.

> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)

I don't think these need an entry.


> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)

 * The default package catalog is an HTTPS address instead of HTTP, and
   package operations properly validate server certificates when using
   HTTPS.


> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)

Nothing to mention here. (Version 6.3 was signed for Windows, and that
change just adapts the build infrastructure to better automate signing.)


> scribble:
> - mflatt: scribble/examples (50f835c)

This seems too small for the release announcement.


> htdp:
> - mflatt: performance improvements for world from incremental GC?

Covered above.


> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?

The former is a bug fix, and Robby has covered the latter.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/56a777df.0d41420a.42018.facbSMTPIN_ADDED_MISSING%40mx.google.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-25 Thread Robby Findler
For mine:

 - Redex supports binding specifications; describe which variables
bind in which expressions and your metafunctions and reduction
relations automatically become scope-sensitive. Thanks to Paul
Stansifer for this improvement.

 - DrRacket's scrolling is faster.

Robby



On Mon, Jan 25, 2016 at 12:24 PM, Vincent St-Amour
 wrote:
> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
>
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
>
> general:
> - HTTPS (for pkg catalog, and others)
>
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
>
> robby:
> - contract performance improvements (various)
> - racket/contract/combinator exports cleanup (99d7ad56d954)
>
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)
> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> - cheat sheet
>
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)
>
> stamourv:
> - additions to `racket/random`
>
> Juan Francisco Cantero Hurtado:
> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
>
> Alex Knauth:
> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
>
>
> Other repos:
>
> redex:
> - robby / Paul Stansifer: binding specifications (6410411)
>
> scribble:
> - mflatt: scribble/examples (50f835c)
> - florence: allow manipulation of scribble.tex imports (2881ef2)
>
> plot:
> - bennn: jitter (fc4f7e2)
>
> pict:
> - florence: pict/convertible changes (b95113d)
> - stamourv: codeblock-pict (29806e2)
>
> typed racket:
> - contract performance improvements
> - typechecking performance improvements
>
> profile / contract profile:
> - stamourv: add raco profile / raco contract-profile
> - stamourv: overhaul contract-profile output
>
> htdp:
> - mflatt: performance improvements for world from incremental GC?
>
> drracket:
> - robby: anything major?
>
> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?
>
> string-constants:
> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
>
> --
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAL3TdOO96JZ8pzT%3D%3Dhm%2B3zN_CQtS-kmcxFrCa5LbTKnSqyk36A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-dev] Release Announcement for v6.4

2016-01-25 Thread Benjamin Greenman
Worth mentioning `combinations` and `in-combinations`?

On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour <
stamo...@eecs.northwestern.edu> wrote:

> The release announcement sketch that I have so far is below.  Please
> mail me new items and/or edits.
>
> Please phrase announcements using complete sentences and avoid the
> word "now".
> --
>
> general:
> - HTTPS (for pkg catalog, and others)
>
> mflatt:
> - incremental GC (ba8103bbde441e38df8dce16e6cbfd36f72c1ce0)
> - add `internal-definition-context-{binding-identifier,track}` (0e16ce4be)
> - deterministic bytecode generation (2743ea06bbc and others)
> - `procedure-specialize` (db0a6de1d2d5d3059ec971275b287860c5bda6e2)
> - openssl 'secure protocol (92f1bfa4d23e0a691778b814a5956c849bb3af83)
> - libssl on Mac (273bc4ea4914cbe73bbb343015cc4fdeb3a1c6a4)
> - windows code signing (666c5f1557703ed24272387f9272321ded2ecf7f)
>
> robby:
> - contract performance improvements (various)
> - racket/contract/combinator exports cleanup (99d7ad56d954)
>
> jay:
> - `read-cdot` and related parameters (551e4d5a0d395)
> - doc categories (2e34599ce37068072a98d8b14a3065bfc31848b5)
> - cheat sheet
>
> asumu:
> - Make id-table API more hash-like (14d25abd 92fc1f41)
>
> stamourv:
> - additions to `racket/random`
>
> Juan Francisco Cantero Hurtado:
> - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a)
>
> Alex Knauth:
> - Allow separate read and write contracts for box/c (67e3899272792c2e5)
>
>
> Other repos:
>
> redex:
> - robby / Paul Stansifer: binding specifications (6410411)
>
> scribble:
> - mflatt: scribble/examples (50f835c)
> - florence: allow manipulation of scribble.tex imports (2881ef2)
>
> plot:
> - bennn: jitter (fc4f7e2)
>
> pict:
> - florence: pict/convertible changes (b95113d)
> - stamourv: codeblock-pict (29806e2)
>
> typed racket:
> - contract performance improvements
> - typechecking performance improvements
>
> profile / contract profile:
> - stamourv: add raco profile / raco contract-profile
> - stamourv: overhaul contract-profile output
>
> htdp:
> - mflatt: performance improvements for world from incremental GC?
>
> drracket:
> - robby: anything major?
>
> gui:
> - avoid using high-power GPU on Mac?
> - scrolling speed improvements?
>
> string-constants:
> - robby / Alexander Shopov: Added bulgarian translation (fb04c62)
>
> --
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-dev+unsubscr...@googlegroups.com.
> To post to this group, send email to racket-dev@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-dev/m2mvrt7c1c.wl-stamourv%40eecs.northwestern.edu
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAFUu9R6tqCC%3DSbFQqQ%2B650ytSXd5mfyqERnk2P1vdZDuMSfOBA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.