Re: [racket-dev] Release Announcement for v5.0.1 -- final version
On Aug 2, Jay McCarthy wrote: > 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? The basic set of log messages is retrieved properly, and then I add things that seem like they might be relevant -- and my assumption for a case like your extensions to the teaching languages is that it's fresh enough that you'd know if it goes in or not. (It was borderline and I had no indication about it.) -- ((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.0.1 -- final version
The repl bug is a general bug that requires a systematic change to things. It also hurts Typed Racket and other things. On Aug 3, 2010, at 10:01 AM, Michael Sperber wrote: > > Matthias Felleisen writes: > >> I found two things so far: >> >> 1. the basic signatures are lowercase in the docs, but are uppercase >> for real. > > They are lowercase in the docs because they're lower-case in the DMdA > languages. They're only uppercase in the HtDP languages. (You may > remember that we discussed this.) > >> 2. When you restrict a function with a signature, you can still >> misapply it in the REPL: > > Yes - it is exactly the same as with check-expect. (And, once it's > fixed with check-expect, it'll magically be fixed with signatures.) I > don't know how to fix this, unfortunately. > > This, and the other minor issues (some error messages; coverage for > struct signatures) seem like good subjects for a mini hack-a-thon at > ICFP - we haven't gotten very far by e-mail. > > -- > 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
Also, the DMdA "list" signature is called "list-of" for HtDP. -- 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
Matthias Felleisen writes: > I found two things so far: > > 1. the basic signatures are lowercase in the docs, but are uppercase >for real. They are lowercase in the docs because they're lower-case in the DMdA languages. They're only uppercase in the HtDP languages. (You may remember that we discussed this.) > 2. When you restrict a function with a signature, you can still >misapply it in the REPL: Yes - it is exactly the same as with check-expect. (And, once it's fixed with check-expect, it'll magically be fixed with signatures.) I don't know how to fix this, unfortunately. This, and the other minor issues (some error messages; coverage for struct signatures) seem like good subjects for a mini hack-a-thon at ICFP - we haven't gotten very far by e-mail. -- 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 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
Matthias Felleisen 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
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 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 wrote: >> On Aug 2, Jay McCarthy wrote: >>> On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay 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 Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
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 wrote: > On Aug 2, Jay McCarthy wrote: >> On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay 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
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
On Aug 2, Jay McCarthy wrote: > On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay 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
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
Just to make sure: Signatures are included because they were merged into the trunk before the branch was done. For example, (define int (signature Real)) (: x int) (define x 3) 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. ;; --- Pragmatics: While I am sure one can get very close to define-datatype, the docs don't suggest it's easy. Here is how you equip structures with signatures: (define-struct S (x y)) (define int (signature Integer)) (: make-S (int int -> S)) (: S-x (S -> int)) (: S-y (S -> int)) And that seems to be the simplest way. I doubt Shriram will be happy with this. What am I overlooking, Mike? -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
That's fine with me. I wrote the release note addendum because the original email contained the blurb, not because I'm stressing about putting it in. Jay On Mon, Aug 2, 2010 at 6:06 AM, Matthew Flatt wrote: > 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. > > -- Jay McCarthy Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 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
On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay 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 Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _ 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 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?) > -- 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! _ 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 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: -- Shriram asked Jay to add define-datatype -- 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. -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
Signatures are documented but in German. It is on my list to 'translate' this for the next release. -- Matthias On Aug 2, 2010, at 5:57 AM, Jay McCarthy wrote: > I don't know anything about signatures, since they're not documented > or advertised. > > I don't know why it isn't included... I thought the patch was cherry > picked. I didn't test it in the release because I added the tests for > the feature to tests/racket/advanced.rktl > > Jay > > On Mon, Aug 2, 2010 at 1:49 AM, Michael Sperber > wrote: >> >> Eli Barzilay writes: >> >>> I don't know of any plan for signatures, but if it would be bad to >>> advertise it if it's not included... Jay/Ryan--?? >> >> Signatures are already in there (look in the log in collects/lang) - >> they're just not documented yet. They already give you this, for >> example: >> >> (define-struct foo (a b)) >> (define-struct bar (c d)) >> (define foo-or-bar >> (signature (mixed foo bar))) >> >> At the very least, `define-datatype' should also define a signature. >> >> -- >> Cheers =8-} Mike >> Friede, Völkerverständigung und überhaupt blabla >> > > > > -- > Jay McCarthy > Assistant Professor / Brigham Young University > http://teammccarthy.org/jay > > "The glory of God is Intelligence" - D&C 93 > _ > 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 -- final version
On Aug 2, Jay McCarthy wrote: > I don't know anything about signatures, since they're not documented > or advertised. > > I don't know why it isn't included... I thought the patch was cherry > picked. I didn't test it in the release because I added the tests > for the feature to tests/racket/advanced.rktl So to conclude the messes that need to be sorted out: * Figure out if the changes are included or not, if not, figure out if they should be added or not, if yes, then figure out if retesting should be done or not. * Especially given that there were changes in the teaching languages and the web server, it would be good to retest properly, using the release candidate. (The test email has instructions on getting the tests -- either to add to the installed tree or use the "full" build.) * 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. -- ((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.0.1 -- final version
I don't know anything about signatures, since they're not documented or advertised. I don't know why it isn't included... I thought the patch was cherry picked. I didn't test it in the release because I added the tests for the feature to tests/racket/advanced.rktl Jay On Mon, Aug 2, 2010 at 1:49 AM, Michael Sperber wrote: > > Eli Barzilay writes: > >> I don't know of any plan for signatures, but if it would be bad to >> advertise it if it's not included... Jay/Ryan--?? > > Signatures are already in there (look in the log in collects/lang) - > they're just not documented yet. They already give you this, for > example: > > (define-struct foo (a b)) > (define-struct bar (c d)) > (define foo-or-bar > (signature (mixed foo bar))) > > At the very least, `define-datatype' should also define a signature. > > -- > Cheers =8-} Mike > Friede, Völkerverständigung und überhaupt blabla > -- Jay McCarthy Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
Eli Barzilay writes: > I don't know of any plan for signatures, but if it would be bad to > advertise it if it's not included... Jay/Ryan--?? Signatures are already in there (look in the log in collects/lang) - they're just not documented yet. They already give you this, for example: (define-struct foo (a b)) (define-struct bar (c d)) (define foo-or-bar (signature (mixed foo bar))) At the very least, `define-datatype' should also define a signature. -- 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 2, Michael Sperber wrote: > Sorry, I'm just seeing this now: > > Eli Barzilay writes: > > > Final version, after some edits and reorganization. > > * The Advanced Student Language now supports hash-table > > primitives, `define-datatype' for defining sets of related > > structs, and `match' for pattern matching. > > Is it a good idea to advertise `define-datatype', given the > impending introduction of signatures? Is it even needed? > > Also, it does not seem to have been merged to the release branch: > > define-datatype: name is not defined, not a parameter, and not a > primitive name I don't know of any plan for signatures, but if it would be bad to advertise it if it's not included... Jay/Ryan--?? -- ((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.0.1 -- final version
Sorry, I'm just seeing this now: Eli Barzilay writes: > Final version, after some edits and reorganization. > * The Advanced Student Language now supports hash-table primitives, > `define-datatype' for defining sets of related structs, and > `match' for pattern matching. Is it a good idea to advertise `define-datatype', given the impending introduction of signatures? Is it even needed? Also, it does not seem to have been merged to the release branch: define-datatype: name is not defined, not a parameter, and not a primitive name -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
[racket-dev] Release Announcement for v5.0.1 -- final version
Final version, after some edits and reorganization. -- * Datalog is a lightweight deductive database system with Racket integration. It is now available in the `datalog' collection and with `#lang datalog'. * Racklog provides Prolog-style logic programming in Racket, adapted from Dorai Sitaram's Schelog package. It is available in the `racklog' collection and now as `#lang racklog'. * By default `make install' and `raco setup' compile collections in parallel on all available processors. (Use `raco setup -j 1' to disable, if necessary.) * Changes (as part of 5.0) in the `racket' language compared to the `scheme' language: 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 (where the `openssl/sha1' library provides the SHA-1 hash function), a reorganization of `scheme/foreign' into `ffi/unsafe' and associated libraries, and new printing functions `eprintf' and `displayln'. Also, a generator from `racket/generator' is required to have the form `(generator () body ...)', which supports a planned extension to let a generator accept arguments. * 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, `ffi/unsafe' provides an asychronous-call mechanism to deal with foreign threads, a new "." modifier for format string directives (e.g., "~.s" and "~.a") limits the respective output to `(error-print-width)' characters. * 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. * We are working on an optimizing version of Typed Racket that takes advantage of type information for certain classes of programs. This project is a work in progress. For those interested, see the documentation for `#:optimized'. * The `web-server/formlets' library 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 `syntax/parse' library has new support for matching literals at different phases using the `#:phase' argument for literals and literal sets. * RackUnit now includes a GUI test runner as `rackunit/gui'. * 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). -- -- ((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