Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-03 Thread Michael Sperber

Matthias Felleisen matth...@ccs.neu.edu writes:

 works in Beginner. It turns out however that even the German docs are
 broken. I should have explored more when Mike merged this in. Then
 again, I doubt we will have many Americans reading these docs.

What's broken?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-03 Thread Matthias Felleisen

On Aug 3, 2010, at 3:08 AM, Michael Sperber wrote:

 
 Matthias Felleisen matth...@ccs.neu.edu writes:
 
 works in Beginner. It turns out however that even the German docs are
 broken. I should have explored more when Mike merged this in. Then
 again, I doubt we will have many Americans reading these docs.
 
 What's broken?

I found two things so far: 

1. the basic signatures are lowercase in the docs, but are uppercase for real. 

2. When you restrict a function with a signature, you can still misapply it in 
the REPL: 


(: f (Integer - Integer))
(define (f x) x)
(f hello) ;; in Defs: violation of signature 

;; in REPL: returns hello

The biggest flaw is mine. The code is in the base but there's no documentation. 

-- Matthias



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


Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-02 Thread Jay McCarthy
On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay e...@barzilay.org wrote:
 On Aug  2, Matthias Felleisen wrote:
 On Aug 2, 2010, at 6:11 AM, Eli Barzilay wrote:

  And for the (near) future -- figure out what's happenning in the
   teaching languages.  I get the impression that things are moving
   there almost randomly.

 No, this isn't random; it is unsynchronized:

 (Yeah, I used random in a random sense...)

  -- Shriram asked Jay to add define-datatype

 (and hashes? was there more?)

define-datatype, match, hashes

These are the commits:

http://github.com/plt/racket/commit/407dcee206678785b4b87bb513d7ba5f55ad8ab5

http://github.com/plt/racket/commit/eeada45868d73c02b59f5c1ecd16e414d5a114ac

http://github.com/plt/racket/commit/9eb053d4db1efd2881e1f749ad6b1eb12a6e8152


  -- Robby, Mike, and I decided to move signatures into BSL, ...
       but I underestimated when I'd get to the translation of
       the documentation

 So:

 1. I propose to release as is: no addition to ASL, no docs for signatures

 2. I propose to sync at PLT Day, in person.

 OK -- that leaves messes #1 (are Jay's changes included or not?) and
 #2 (test it properly) to sort out.

 --
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!




-- 
Jay McCarthy j...@cs.byu.edu
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

The glory of God is Intelligence - DC 93
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-02 Thread Matthew Flatt
At Mon, 2 Aug 2010 04:42:41 -0600, Jay McCarthy wrote:
 These are the commits:

Those are from July 22, one week after the branch for 5.0.1, so they
would not normally be considered candidates for the 5.0.1 release.

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


Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-02 Thread Jay McCarthy
We should try to make sure that only commit messages from commits in
the release branch are considered for the release notes process. Do we
a script that does it or does someone pick through them manually?

Jay

On Mon, Aug 2, 2010 at 1:14 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
 Eli: are you saying that those commits were not included in the
 testing bundles? If so, why do we need to re-run the release tests?
 (Or is there something else?)

 Robby

 On Mon, Aug 2, 2010 at 2:12 PM, Eli Barzilay e...@barzilay.org wrote:
 On Aug  2, Jay McCarthy wrote:
 On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay e...@barzilay.org wrote:
  On Aug  2, Matthias Felleisen wrote:
  On Aug 2, 2010, at 6:11 AM, Eli Barzilay wrote:
 
   And for the (near) future -- figure out what's happenning in the
    teaching languages.  I get the impression that things are moving
    there almost randomly.
 
  No, this isn't random; it is unsynchronized:
 
  (Yeah, I used random in a random sense...)
 
   -- Shriram asked Jay to add define-datatype
 
  (and hashes? was there more?)

 define-datatype, match, hashes

 These are the commits:

 http://github.com/plt/racket/commit/407dcee206678785b4b87bb513d7ba5f55ad8ab5

 http://github.com/plt/racket/commit/eeada45868d73c02b59f5c1ecd16e414d5a114ac

 http://github.com/plt/racket/commit/9eb053d4db1efd2881e1f749ad6b1eb12a6e8152

 (For future references, the sha1 is all that is needed.)

 None of these commits are included.  This leaves the last mess:
 running proper tests.

 --
          ((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



-- 
Jay McCarthy j...@cs.byu.edu
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

The glory of God is Intelligence - DC 93
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

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

2010-07-28 Thread Matthew Flatt
At Tue, 27 Jul 2010 23:17:59 -0400, Eli Barzilay wrote:
 * By default `make install' and `raco setup' compile collections in
   parallel on all available processors.  (Use `reaco setup -j 1' to
   disable if necessary.)

reaco - raco

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


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

2010-07-28 Thread Matthias Felleisen

On Jul 27, 2010, at 11:26 PM, David Van Horn wrote:

 
 * The core type system of Typed Racket has been substantially
   revised.  In particular, Typed Racket can now follow significantly
   more sophisticated reasoning about the relationships between
   predicates.  Additionally, Typed Racket now allows variable arity
   types in more places, allowing programmers to specify
   variable-arity lists.
 
 substantially, significantly, sophisticated
 
 Weasel words.
 http://matt.might.net/articles/shell-scripts-for-passive-voice-weasel-words-duplicates/

This is advertising prose not a summary of scientific work. 
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


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

2010-07-28 Thread Ryan Culpepper

Eli Barzilay wrote:

The release announcement sketch that I have so far is below.  Please
send edits or (changes in order) if you see anything.

Still needed:

  Ryan:
* Any public (and documented) syntax/parse  macro debugger
  additions?
* macro-debugger/emit?
* GUI for rackunit?


Just these:

The syntax/parse library has new support for matching literals at 
different phases using the #:phase argument for literals and literal sets.


A GUI test runner has been added to RackUnit under rackunit/gui.



--
Racket version 5.0.1 is now available from

  http://racket-lang.org/

* Changes (as part of 5.0) in the `racket' language compared to the
  `scheme' language include constructor-style printing, a `struct'
  alternative to `define-struct' that fits more naturally with
  `match' and constructor-style printing, bytecode-dependency
  management via SHA-1 hashes instead of just timestamps, and a
  reorganization of `scheme/foriegn' into `ffi/unsafe' and
  associated libraries.

* Changes to the `racket' language (since 5.0): internal-definition
  positions allow mixing expressions with definitions, full
  continuations can escape past a continuation barrier, custodians
  can attempt to terminate subprocesses and subprocess groups (see
  `current-subprocess-custodian-mode', `subprocess-group-enabled'),
  the JIT supports additional unboxing flonum operations and unsafe
  variants, and `ffi/unsafe' provides an asychronous-call mechanism
  to deal with foreign threads.

* By default `make install' and `raco setup' compile collections in
  parallel on all available processors.  (Use `reaco setup -j 1' to
  disable if necessary.)

* A new . modifier for format string directives (e.g., ~.s and
  ~.a) limits the respective output to (error-print-width)
  characters.  New printout functions: `eprintf' and `displayln'.

* The core type system of Typed Racket has been substantially
  revised.  In particular, Typed Racket can now follow significantly
  more sophisticated reasoning about the relationships between
  predicates.  Additionally, Typed Racket now allows variable arity
  types in more places, allowing programmers to specify
  variable-arity lists.

* Typed Racket now provides a type-based optimizer that is activated
  when the code starts with `#:optimize'.  It can improve the
  performance of many operations such as list, vector and struct
  accesses and is especially useful for floating-point intensive
  programs (which can get faster by a factor of 3).  This is feature
  is still being developed, and it will become the default behavior
  in the near future.

* Datalog: a lightweight deductive database system with Racket
  integration is available in the `datalog' collection and with
  `#lang datalog'.

* Racklog: Prolog-style logic programming in Racket, adapted from
  Dorai Sitaram's Schelog package, is also included, available as a
  `#lang racklog' too.

* `openssl/sha1' provides a SHA1 hash function.

* `web-server/formlets' adds a `formlet*' form that allows dynamic
  formlet construction, as opposed to `formlet' which requires
  syntactic Xexprs and static formlets.  Several new library
  formlets are added.

* The `generator' from `racket/generator' is requires to have this
  form: (generator () body ...), due to a planned extension where a
  generator will accept arguments.

* The Advanced Student Language now supports hash-table primitives,
  `define-datatype' for defining sets of related structs, and
  `match' for pattern matching.

* The `2htdp/image' library now includes `flip-vertical' and
  `flip-horizontal' operations that mirror images (vertically and
  horizontally).
--



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


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

2010-07-27 Thread Kevin Tew

How is this:

By default make install and raco setup build collects in parallel on all 
available processors.
Use env PLT_SETUP_OPTIONS=-j 1 make install or raco setup -j 1 to 
build using only one processor.


Kevin

On 07/27/2010 10:06 AM, Eli Barzilay wrote:

On Jul 27, Kevin Tew wrote:
   

Parallel-build is somewhat behind the scenes.  I would delay talking
about it until the next release which will include -j documentation
and parallel rendering of docs.
 

Normally I'd agree with hiding it as a detail, but since it's on by
default and it is a place which can easily break things up I want to
have at least a short JFYI-style note on it.

   


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


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

2010-07-27 Thread Sam Tobin-Hochstadt
On Tue, Jul 27, 2010 at 12:14 PM, Kevin Tew t...@cs.utah.edu wrote:
 On Jul 27, Kevin Tew wrote:


 Parallel-build is somewhat behind the scenes.  I would delay talking
 about it until the next release which will include -j documentation
 and parallel rendering of docs.

Shouldn't the docs be merged to the release branch?
-- 
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.0.1

2010-07-27 Thread David Van Horn

On 7/27/10 11:17 PM, Eli Barzilay wrote:

The release announcement sketch that I have so far is below.  Please
send edits or (changes in order) if you see anything.



* Changes (as part of 5.0) in the `racket' language compared to the
   `scheme' language include constructor-style printing, a `struct'
   alternative to `define-struct' that fits more naturally with
   `match' and constructor-style printing, bytecode-dependency
   management via SHA-1 hashes instead of just timestamps, and a
   reorganization of `scheme/foriegn' into `ffi/unsafe' and
   associated libraries.


foriegn


* The core type system of Typed Racket has been substantially
   revised.  In particular, Typed Racket can now follow significantly
   more sophisticated reasoning about the relationships between
   predicates.  Additionally, Typed Racket now allows variable arity
   types in more places, allowing programmers to specify
   variable-arity lists.


substantially, significantly, sophisticated

Weasel words.
http://matt.might.net/articles/shell-scripts-for-passive-voice-weasel-words-duplicates/



* Typed Racket now provides a type-based optimizer that is activated
   when the code starts with `#:optimize'.  It can improve the
   performance of many operations such as list, vector and struct
   accesses and is especially useful for floating-point intensive
   programs (which can get faster by a factor of 3).  This is feature
   is still being developed, and it will become the default behavior
   in the near future.


This is feature is...


* The `generator' from `racket/generator' is requires to have this
   form: (generator () body ...), due to a planned extension where a
   generator will accept arguments.


is requires

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


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

2010-07-26 Thread Casey Klein
On Fri, Jul 23, 2010 at 7:19 PM, Eli Barzilay e...@barzilay.org wrote:

 Casey:

  * Redex news?


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


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

2010-07-24 Thread Jay McCarthy
On Fri, Jul 23, 2010 at 6:19 PM, Eli Barzilay e...@barzilay.org wrote:
 Some suggested items below, if you have items, please mail me text
 that describes those that you think should be mentioned, and verify
 that the rest should not.
 --
 Matthew:

  * sha1 functionality (default from openssl, also a racket
    implementation)

  * `racket/foreign' (or `scheme/foreign') + `unsafe!' moved to
    `ffi/unsafe', more ffi reorganization (mostly 4acba84b,
    b7c18463)

  * Maybe also `struct' and related changes (new definition, struct
    name as the constructor)?

  * async-apply support in the FFI. (768a3721)

  * full continuations can escape past a continuation barrier
    (49ad3096)

  * internal-definition contexts allow expressions mixed with
    definitions; the new `#%stratified-body' form can be used for
    bodies without this feature. (54216b5c)

  * New subprocess support in custodians
    (`current-subprocess-custodian-mode',
    `subprocess-group-enabled')

  * Additional flonum operations with unsafe variants.

  * The racket value printer uses constructor+quote style; update
    Guide and Quick.

  * `in-directory'.

  * `racket/set'.

  * Improved regexp stuff?

  * Chaperones (73807aef)

  * (an extensible) `raco' replaces setup-plt, mzc, etc.

  * `eprintf' and `displayln'

 Kevin:

  * Parallel build

 Sam/Vincent:

  * Types for fixnums, flonums, etc?  Anything else?

 Robby:

  * radial-star? flipping bitmaps?

 Jay:

  * Datalog, Racklog, sexper variant of first, prolog variant of
    second.

Datalog - A lightweight deductive database system with Racket
integration is available in the `datalog' package and with `#lang
datalog'.

Racklog - Prolog-style logic programming in Racket, adapted from the
Schelog package, is in the core


  * `formlet*'?  (Maybe also 7b61ba02?)

web-server/formlets adds a 'formlet*' form that allows dynamic formlet
construction, as opposed to 'formlet' which requires syntactic Xexprs
and static formlets. A few new library formlets are available as well.


  * Teaching language extensions, if they're included in the release
    (possibly only for the edu message)

The Advanced Student Language now supports hash-table primitives,
`define-datatype' for defining sets of related structs, and `match'
for pattern matching.


 Ryan:

  * Any public (and documented) syntax/parse  macro debugger
    additions?

  * macro-debugger/emit?

  * GUI for rackunit?

 Casey:

  * Redex news?

 Eli:

  * `generator' required to be (generator () body ...), due to
    planned extensions.

 Stevie:

  * Contract news?  (eg, a57b0d81, 24c5a9ae, 99bb46d2)

 [Note that mirror sites can take a while to catch up with the new
 downloads.]

 Feedback Welcome,
 --
 --
          ((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




-- 
Jay McCarthy j...@cs.byu.edu
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

The glory of God is Intelligence - DC 93
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

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

2010-07-23 Thread Robby Findler
Chaperones are not yet, I'd say.

Flipping was the frequently requested 2htdp/image thing that's new in
this release (I think it is new anyways). Not just bitmaps, but all
2htdp/images.

On Fri, Jul 23, 2010 at 7:19 PM, Eli Barzilay e...@barzilay.org wrote:
 Some suggested items below, if you have items, please mail me text
 that describes those that you think should be mentioned, and verify
 that the rest should not.
 --
 Matthew:

  * sha1 functionality (default from openssl, also a racket
    implementation)

  * `racket/foreign' (or `scheme/foreign') + `unsafe!' moved to
    `ffi/unsafe', more ffi reorganization (mostly 4acba84b,
    b7c18463)

  * Maybe also `struct' and related changes (new definition, struct
    name as the constructor)?

  * async-apply support in the FFI. (768a3721)

  * full continuations can escape past a continuation barrier
    (49ad3096)

  * internal-definition contexts allow expressions mixed with
    definitions; the new `#%stratified-body' form can be used for
    bodies without this feature. (54216b5c)

  * New subprocess support in custodians
    (`current-subprocess-custodian-mode',
    `subprocess-group-enabled')

  * Additional flonum operations with unsafe variants.

  * The racket value printer uses constructor+quote style; update
    Guide and Quick.

  * `in-directory'.

  * `racket/set'.

  * Improved regexp stuff?

  * Chaperones (73807aef)

  * (an extensible) `raco' replaces setup-plt, mzc, etc.

  * `eprintf' and `displayln'

 Kevin:

  * Parallel build

 Sam/Vincent:

  * Types for fixnums, flonums, etc?  Anything else?

 Robby:

  * radial-star? flipping bitmaps?

 Jay:

  * Datalog, Racklog, sexper variant of first, prolog variant of
    second.

  * `formlet*'?  (Maybe also 7b61ba02?)

  * Teaching language extensions, if they're included in the release
    (possibly only for the edu message)

 Ryan:

  * Any public (and documented) syntax/parse  macro debugger
    additions?

  * macro-debugger/emit?

  * GUI for rackunit?

 Casey:

  * Redex news?

 Eli:

  * `generator' required to be (generator () body ...), due to
    planned extensions.

 Stevie:

  * Contract news?  (eg, a57b0d81, 24c5a9ae, 99bb46d2)

 [Note that mirror sites can take a while to catch up with the new
 downloads.]

 Feedback Welcome,
 --
 --
          ((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

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

2010-07-23 Thread Sam Tobin-Hochstadt
On Fri, Jul 23, 2010 at 8:19 PM, Eli Barzilay e...@barzilay.org wrote:
 Some suggested items below, if you have items, please mail me text
 that describes those that you think should be mentioned, and verify
 that the rest should not.

I feel like we should mention items that were released in v5.0, since
none of them were mentioned in that release announcement.

-- 
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.0.1

2010-07-23 Thread Eli Barzilay
On Jul 23, Sam Tobin-Hochstadt wrote:
 On Fri, Jul 23, 2010 at 8:19 PM, Eli Barzilay e...@barzilay.org wrote:
  Some suggested items below, if you have items, please mail me text
  that describes those that you think should be mentioned, and verify
  that the rest should not.
 
 I feel like we should mention items that were released in v5.0, since
 none of them were mentioned in that release announcement.

Yes, I forgot to mention that these items are things from commits from
the 4.2.5 release to this one.

-- 
  ((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