Re: [racket-dev] Release Announcement for v5.0.1 -- final version
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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