Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 12:01 PM, Eli Barzilay e...@barzilay.org wrote: And a major bug (chrome, now on linux): resizing the browser doesn't reposition the text in the middle. Can you be more specific, perhaps with a screenshot? I just tried this with Chromium on Linux and it repositioned just

Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 12:16 PM, Eli Barzilay e...@barzilay.org wrote: Just now, Sam Tobin-Hochstadt wrote: On Tue, Aug 20, 2013 at 12:01 PM, Eli Barzilay e...@barzilay.org wrote: And a major bug (chrome, now on linux): resizing the browser doesn't reposition the text in the middle. Can

Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 5:30 PM, Jose A. Ortega Ruiz j...@gnu.org wrote: On Tue, Aug 20 2013, Neil Van Dyke wrote: Sam Tobin-Hochstadt wrote at 08/20/2013 09:52 AM: Can you say more about why this is? Is it the pictures? Yes, I scroll down the page and I see pictures and a simple picture

Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 10:50 AM, Eli Barzilay e...@barzilay.org wrote: I dislike the switch to something that looks less unique -- this feels more like yet-another-site of a language. I can't really put a finger on what makes that, but I think that the big factor is the dark header. (I

Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 7:32 PM, Eli Barzilay e...@barzilay.org wrote: An hour ago, Sam Tobin-Hochstadt wrote: On Tue, Aug 20, 2013 at 10:50 AM, Eli Barzilay e...@barzilay.org wrote: I dislike the switch to something that looks less unique -- this feels more like yet-another-site

Re: [racket-dev] Revising Racket's home page

2013-08-20 Thread Sam Tobin-Hochstadt
On Tue, Aug 20, 2013 at 7:59 PM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Sam Tobin-Hochstadt wrote: On Tue, Aug 20, 2013 at 7:32 PM, Eli Barzilay e...@barzilay.org wrote: A quick idea that popped up today re the books: have a book bar as in the erlang page, but with popups

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Sam Tobin-Hochstadt
But 'list-union' is not a generic operation so it isn't surprising that this didn't work. To do this generically, you'd need to use 'set-union'. Sam On Aug 22, 2013 7:59 AM, J. Ian Johnson i...@ccs.neu.edu wrote: The problem manifested itself when I got an exception that in-list can't be

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Sam Tobin-Hochstadt
- From: Sam Tobin-Hochstadt sa...@cs.indiana.edu To: J. Ian Johnson i...@ccs.neu.edu Cc: dev@racket-lang.org, Matthew Flatt mfl...@cs.utah.edu Sent: Thursday, August 22, 2013 8:02:50 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Lists aren't sets, but have set-like operations

[racket-dev] Manual inlining destroys performance for this program

2013-08-22 Thread Sam Tobin-Hochstadt
This short program generates a lot of closures, and thus doesn't run very fast. #lang racket/base (require racket/flonum) (define (Point x0 x1 y0 y1) (list (λ () (let ([x (- x1 x0)] [y (- y1 y0)]) (flsqrt (+ (* x x) (* y y))) (define iter 1e4) (for ([i (in-range iter)])

Re: [racket-dev] [plt] Push #27395: master branch updated

2013-08-30 Thread Sam Tobin-Hochstadt
On Fri, Aug 30, 2013 at 3:55 PM, stamo...@racket-lang.org wrote: +[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))] I worry about mutable sets here, but I can't think of any bugs it can cause ATM. _ Racket Developers list:

Re: [racket-dev] Speeding up `in-directory`

2013-09-04 Thread Sam Tobin-Hochstadt
Tobin-Hochstadt wrote: Inspired by a post about a faster directory iteration in Haskell [1], I decided to try doing the same for Racket. The results are here: https://gist.github.com/samth/6437192 The current implementation uses continuations, which are pretty slow. The fastest solution would

[racket-dev] Speeding up `in-directory`

2013-09-04 Thread Sam Tobin-Hochstadt
Inspired by a post about a faster directory iteration in Haskell [1], I decided to try doing the same for Racket. The results are here: https://gist.github.com/samth/6437192 The current implementation uses continuations, which are pretty slow. The fastest solution would fuse the traversal and

Re: [racket-dev] Speeding up `in-directory`

2013-09-04 Thread Sam Tobin-Hochstadt
On Wed, Sep 4, 2013 at 12:29 PM, Matthew Flatt mfl...@cs.utah.edu wrote: (directory-list (path-complete-path d init-dir)))]) I'm pretty sure this is wrong, but I'm not sure how to fix it. In particular, there's no reason that

Re: [racket-dev] Speeding up `in-directory`

2013-09-04 Thread Sam Tobin-Hochstadt
On Wed, Sep 4, 2013 at 3:23 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Wed, 4 Sep 2013 15:13:31 -0400, Sam Tobin-Hochstadt wrote: On Wed, Sep 4, 2013 at 12:29 PM, Matthew Flatt mfl...@cs.utah.edu wrote: (directory-list

Re: [racket-dev] [plt] Push #27454: master branch updated

2013-09-08 Thread Sam Tobin-Hochstadt
Is the change to the native-pkgs sha1 intentional? Sam On Sep 8, 2013 3:04 AM, stch...@racket-lang.org wrote: stchang has updated `master' from 672e909880 to 7eaee796e1. http://git.racket-lang.org/plt/672e909880..7eaee796e1 =[ 3 Commits

Re: [racket-dev] [plt] Push #27446: master branch updated

2013-09-08 Thread Sam Tobin-Hochstadt
Sam Tobin-Hochstadt sa...@racket-lang.org 2013-09-06 14:22 : | Remember types that are defined, and use them in serialization. | | This extends a facility already available for base types, | making that facility no longer strictly needed. | | Shrinks the zo size for the `math` package

Re: [racket-dev] [plt] Push #27446: master branch updated

2013-09-09 Thread Sam Tobin-Hochstadt
: On 09/06/2013 04:14 PM, sa...@racket-lang.org wrote: 56b372c Sam Tobin-Hochstadt sa...@racket-lang.org 2013-09-06 14:22 : | Remember types that are defined, and use them in serialization. | | This extends a facility already available for base types, | making that facility no longer strictly

Re: [racket-dev] [plt] Push #27446: master branch updated

2013-09-09 Thread Sam Tobin-Hochstadt
of functions is much more expensive than just arguments, so this should reduce the cost of TR boundary cost, but I don't have any numbers. On Mon, Sep 9, 2013 at 10:57 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Mon, Sep 9, 2013 at 11:35 AM, Neil Toronto neil.toro...@gmail.com

Re: [racket-dev] [plt] Push #27446: master branch updated

2013-09-09 Thread Sam Tobin-Hochstadt
) this was not added. Can you point to the code that does it? On Mon, Sep 9, 2013 at 5:55 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Not only did our own Sam write about this, but he thought that he changed Typed Racket to do this. Am I missing something here, or are you describing

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Sam Tobin-Hochstadt
I think the Typed Racket docs should have pointers to how to use other libraries in a typed fashion -- it's a question that comes up a lot. Sam On Mon, Sep 16, 2013 at 5:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Can that code not be moved into the relevant packages instead?

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
: It's implemented, but it's not currently an option for `defmodule`. I'll look into adding the option. At Mon, 16 Sep 2013 17:49:27 -0400, Sam Tobin-Hochstadt wrote: I think what Carl suggested is preferable -- a link that only exists if the package it links to exists. Alternatively, a link

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt mfl...@cs.utah.edu wrote: In this particular case, if `raco setup` hadn't reported failure, the builds might have hobbled along; I'm not sure. The snapshot build generally relies on dependencies being accurate, and I don't think it's worth

Re: [racket-dev] [plt] Push #26693: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: FWIW, for an individual file in a repo clone, you can follow history through the split by using `git log --follow`. But there's no way to do that in the GitHub web interface, as far as I know. Also rather frustratingly,

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 7:14 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Also FWIW: WARNING: collected information for key multiple times: '(exporting-libraries #f); values: '(typed/srfi/14) '(typed/rackunit) WARNING: collected information for key multiple times: '(exporting

Re: [racket-dev] [racket] RacketCon full schedule

2013-09-18 Thread Sam Tobin-Hochstadt
Thanks for updating! Is that the only part of the web page in iplt? More generally, it seems like we could move some or all of plt-services to a separate repository. Sam On Sep 18, 2013 10:24 PM, Eli Barzilay e...@barzilay.org wrote: 5 hours ago, Sam Tobin-Hochstadt wrote: I went to change

Re: [racket-dev] [racket] RacketCon full schedule

2013-09-18 Thread Sam Tobin-Hochstadt
On Sep 18, 2013 10:33 PM, Eli Barzilay e...@barzilay.org wrote: Just now, Sam Tobin-Hochstadt wrote: Thanks for updating! Is that the only part of the web page in iplt? No, see the contents of the web directory there. The reason that the blurbs are is that the rcon sources

[racket-dev] Why is current-module-name-resolver taking so much time?

2013-09-20 Thread Sam Tobin-Hochstadt
I decided to look at why 'make' with a fully-built install takes a long time, and got a surprising result. First, the 'link-all.rkt' script takes about 17 seconds on my machine, almost all of it in `pkg-install`. I then profiled this, and got the surprising result that the majority of the time is

Re: [racket-dev] Why is current-module-name-resolver taking so much time?

2013-09-20 Thread Sam Tobin-Hochstadt
On Fri, Sep 20, 2013 at 3:48 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I decided to look at why 'make' with a fully-built install takes a long time, and got a surprising result. First, the 'link-all.rkt' script takes about 17 seconds on my machine, almost all of it in `pkg-install

Re: [racket-dev] [racket] [ANN] RacketCon 2013: 29 September

2013-09-22 Thread Sam Tobin-Hochstadt
Things I really enjoy in Boston: - The Museum of Fine Arts, right across the street from Northeastern - The Freedom Trail, a self-guided walking tour of many historic Boston sights This goes through the North End, which is a nice place to walk around all on its own. - The Boston Harbor Islands

Re: [racket-dev] package system, minimal builds and more

2013-10-02 Thread Sam Tobin-Hochstadt
On Tue, Oct 1, 2013 at 9:20 AM, Tobias Hammer tobias.ham...@dlr.de wrote: Hi, i played a bit with the new package system, minimal installs and cross compiling. It works pretty good but i have a few problems and remarks/questions. I start with a fresh yesterdays minimal source

[racket-dev] A few packages not in 'main-distribution'

2013-10-02 Thread Sam Tobin-Hochstadt
The packages 'gui-pkg-manager' and 'distributed-places' are on the pkg catalog, but not in 'main-distribution'. I'm pushing a change for the latter, which appears to just be an oversight, but is the same true for the 'gui-pkg-manager'? Sam _ Racket Developers list:

Re: [racket-dev] A few packages not in 'main-distribution'

2013-10-02 Thread Sam Tobin-Hochstadt
Oct 2013 10:52:57 -0400, Sam Tobin-Hochstadt wrote: The packages 'gui-pkg-manager' and 'distributed-places' are on the pkg catalog, but not in 'main-distribution'. I'm pushing a change for the latter, which appears to just be an oversight, but is the same true for the 'gui-pkg-manager'? Sam

Re: [racket-dev] Generics updates

2013-10-02 Thread Sam Tobin-Hochstadt
On Wed, Oct 2, 2013 at 4:29 PM, Robby Findler ro...@eecs.northwestern.edu wrote: That sounds right. But just in case there is any confusion on the larger point: predicates as way we check properties to ensure good properties of our abstractions is one of the important things that we have

Re: [racket-dev] Generics updates

2013-10-02 Thread Sam Tobin-Hochstadt
be `immutable?`, whereas maybe one with mutable insides but a functional interface should be, but that really depends on what we're trying to say. Sam Jay On Wed, Oct 2, 2013 at 2:41 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Wed, Oct 2, 2013 at 4:29 PM, Robby Findler ro

Re: [racket-dev] Generics updates

2013-10-04 Thread Sam Tobin-Hochstadt
On Fri, Oct 4, 2013 at 1:30 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Java and Scala seem to provide particularly bad examples, so perhaps we should not follow what they do :-) I know what you mean about Java, but I've heard lots of good things about the new Scala collections

Re: [racket-dev] [plt] Push #27569: master branch updated

2013-10-09 Thread Sam Tobin-Hochstadt
On Wed, Oct 9, 2013 at 7:41 PM, ntoro...@racket-lang.org wrote: 0edd7e0 Neil Toronto neil.toro...@gmail.com 2013-10-09 17:40 : | Split plot package into five packages : Following some of the other packages, you might want to add a `plot` package that depends on everything except

Re: [racket-dev] should package X imply package X-test?

2013-10-15 Thread Sam Tobin-Hochstadt
I agree with this. In particular, I like to be able to use libraries in testing code that the rest of the library doesn't depend on, and I'd like to not make users install those extra libraries. Sam On Oct 15, 2013 4:47 PM, Matthew Flatt mfl...@cs.utah.edu wrote: We have several packages X that

Re: [racket-dev] [plt] Push #27614: master branch updated

2013-10-15 Thread Sam Tobin-Hochstadt
On Tue, Oct 15, 2013 at 6:52 PM, mfl...@racket-lang.org wrote: 1920ac5 Matthew Flatt mfl...@racket-lang.org 2013-10-15 16:19 : | move some test doc collections out of racket- pkgs to new pkgs : I think this broke some of the test dependencies. Here's one error (from [1]) ERROR:

Re: [racket-dev] should package X imply package X-test?

2013-10-16 Thread Sam Tobin-Hochstadt
On Wed, Oct 16, 2013 at 7:55 AM, Robby Findler ro...@eecs.northwestern.edu wrote: it would be nice to have a positive rationale for why we suggest leaving this particular piece out of X. Here's my positive rationale: First, why include X-doc? I expect that if I tell someone they should try

Re: [racket-dev] [plt] Push #27595: master branch updated

2013-10-16 Thread Sam Tobin-Hochstadt
On Wed, Oct 16, 2013 at 1:40 AM, Stephen Chang stch...@ccs.neu.edu wrote: It caught me off guard and feels unintuitive. And the negative of accidentally running it doesnt seem to outweigh having to type an extra --link dirname (especially after cloning, when you are not in the directory you

Re: [racket-dev] git rebase/squash my commits before submitting a pull request?

2013-10-20 Thread Sam Tobin-Hochstadt
I regularly rebase and force-update pull request commits. GitHub even notices when a commit is out of date and hides the comments, if they're made there. So I encourage you to do this. Sam On Sat, Oct 19, 2013 at 10:56 PM, David T. Pierson d...@mindstory.com wrote: Thank you to everyone who

[racket-dev] Fwd: [DrDr] R27814 (timeout 0) (unclean 3) (stderr 3) (changes 17)

2013-11-20 Thread Sam Tobin-Hochstadt
It appears that Planet can't handle versions starting with 6. Is this something that can be fixed on the server? Sam -- Forwarded message -- From: d...@racket-lang.org Date: Wed, Nov 20, 2013 at 7:52 PM Subject: [DrDr] R27814 (timeout 0) (unclean 3) (stderr 3) (changes 17) To:

Re: [racket-dev] Racket 6 (git branch release), configure options and dependencies

2013-11-30 Thread Sam Tobin-Hochstadt
I believe you should be able to compile Minimal Racket, which corresponds to the 'make base' target, without any of those dependencies. Sam On Nov 30, 2013 8:32 PM, Juan Francisco Cantero Hurtado i...@juanfra.info wrote: On 11/25/13 05:10, Juan Francisco Cantero Hurtado wrote: Hi. I'm

[racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
Currently, this program fails with a somewhat bizarre type error: #lang typed/racket (: foo ([#:k Any] - Integer)) (define (foo #:k [s #f]) 0) (let: ([i : Integer (foo #:k #t)]) i) The reason is that the expansion of keyword applications generates a name to use for the function

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
I haven't found a way to make it happen yet. But even so, it seems like the wrong name. Sam On Mon, Dec 9, 2013 at 4:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Is it possible that that name can leak out in an error message? Robby On Mon, Dec 9, 2013 at 3:10 PM, Sam Tobin

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
` is indeed bound to a procedure, but _not_ to the procedure referred to in the error message. Sam On Mon, Dec 9, 2013 at 4:29 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I haven't found a way to make it happen yet. But even so, it seems like the wrong name. Sam On Mon, Dec 9, 2013 at 4:16

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
So, you agree that we should just change this? On Mon, Dec 9, 2013 at 4:35 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh, now I get what you meant in your original message. Right. Robby On Mon, Dec 9, 2013 at 3:29 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I haven't

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
at 3:34 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Aha, I found the example: (let ([foo ((lambda (#:kk x) (λ (x) x)) #:k 0)]) (foo 5)) Has this error: application: procedure does not expect an argument with given keyword procedure: foo given keyword: #:k arguments

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-09 Thread Sam Tobin-Hochstadt
changing it would be bad, why do you think the relevant procedure (the one with a keyword named `#:kk`) should be named `foo`? Sam Sorry for the noise. Robby On Mon, Dec 9, 2013 at 3:41 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Yes, that would work, but I still don't see why that's

Re: [racket-dev] TR performance (was: Re: [plt] Push #27909: master branch updated)

2013-12-11 Thread Sam Tobin-Hochstadt
On Wed, Dec 11, 2013 at 7:25 PM, John Clements cleme...@brinckerhoff.org wrote: Wow! I had no idea TR was that fast. In fairness, much of this is that Racket is that fast -- Matthew's put a lot of work into the JIT over the last few years. Related question: how hard is it to reason about the

Re: [racket-dev] [plt] Push #27909: master branch updated

2013-12-12 Thread Sam Tobin-Hochstadt
On Thu, Dec 12, 2013 at 1:13 PM, Eric Dobson eric.n.dob...@gmail.com wrote: The changes shouldn't see too much improvement on structs since struct contracts are still expensive and I don't think it is possible to elide them safely with rackets introspection features (but I may be wrong about

Re: [racket-dev] syntax-local-inferred-name, keyword functions, and syntax properties

2013-12-15 Thread Sam Tobin-Hochstadt
. At Mon, 9 Dec 2013 16:56:49 -0500, Sam Tobin-Hochstadt wrote: On Mon, Dec 9, 2013 at 4:50 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not really familiar with the way the keyword expansion works. I was just trying to suggest obvious reasons why the code would do such a thing

Re: [racket-dev] Pre-Release Checklist for v6.0, corrected url

2013-12-18 Thread Sam Tobin-Hochstadt
On Mon, Dec 16, 2013 at 11:38 AM, Ryan Culpepper ry...@ccs.neu.edu wrote: Checklist items for the v6.0 release (using the v5.91 release candidate build) Even though Whalesong isn't on the checklist any more, here's a report on its status: I just tried installing Whalesong from Planet, and

Re: [racket-dev] release notes

2013-12-20 Thread Sam Tobin-Hochstadt
On Fri, Dec 20, 2013 at 8:26 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 19 Dec 2013 20:41:25 -0600, Robby Findler wrote: Jay, Matthew: pkg improvements [...] Matthew, Robby: gui package manager Racket has a new package system and a catalog of packages at

Re: [racket-dev] release notes

2013-12-20 Thread Sam Tobin-Hochstadt
On Thu, Dec 19, 2013 at 9:41 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I didn't track the TR commits as carefully as the other ones (sorry guys but you refactor a lot and it's hard to keep everything straight...) but I did see a bunch of optimizer related commits for TR and so I

[racket-dev] Intermittent build error in docs db

2013-12-20 Thread Sam Tobin-Hochstadt
There's been an intermittent error on a few DrDr runs on `master`. You can see it here, search for 'rollback'. http://drdr.racket-lang.org/27963/pkg-src/build/make This doesn't seem to be causing anything else to break the DrDr notices, but since there were some DB problems with the release,

Re: [racket-dev] Intermittent build error in docs db

2013-12-20 Thread Sam Tobin-Hochstadt
On Fri, Dec 20, 2013 at 4:21 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I now know that the more relevant error from SQLite is some kind of disk I/O error occurred Somehow, this does not feel like progress. The error seems to happen only with read-only database connections, where using

Re: [racket-dev] [plt] Push #27967: master branch updated

2013-12-20 Thread Sam Tobin-Hochstadt
On Fri, Dec 20, 2013 at 6:35 PM, Jay McCarthy j...@racket-lang.org wrote: Where should we put the link to Planet? - Main page - New place - Community - Keep it on the navbar with packages I can see good and bad things with most. I think Main Page Community both is the right choice. I

Re: [racket-dev] Missing match-expander? export from racket/match

2014-01-04 Thread Sam Tobin-Hochstadt
This just seems like an oversight to me -- I'll fix it. Sam On Sat, Jan 4, 2014 at 7:28 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: It seems racket/match exports prop:match-expander, but not match-expander? . Is that on purpose?

Re: [racket-dev] release notes draft

2014-01-13 Thread Sam Tobin-Hochstadt
On Sat, Jan 11, 2014 at 9:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Below is the latest release notes draft. Comments? Robby Racket has a new package system, including a catalog of already available packages. How about: Racket version 6.0 comes with a new package system,

Re: [racket-dev] release notes draft

2014-01-13 Thread Sam Tobin-Hochstadt
The graph is at: http://drdr.racket-lang.org/28051/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/new-metrics.rkt Sam On Mon, Jan 13, 2014 at 10:39 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Okay, new version below. Thanks! If there is a drdr graph that shows

Re: [racket-dev] release notes draft

2014-01-13 Thread Sam Tobin-Hochstadt
Looks good. On Mon, Jan 13, 2014 at 11:40 AM, Robby Findler ro...@eecs.northwestern.edu wrote: How about this bullet: * Typed Racket is now 50% faster when type checking some programs. For example: http://bit.ly/1d0Ye4z On Mon, Jan 13, 2014 at 9:56 AM, Sam Tobin-Hochstadt sa

Re: [racket-dev] release notes draft

2014-01-13 Thread Sam Tobin-Hochstadt
compilation improved by 50% on some typed programs; see http:// ... On Jan 13, 2014, at 11:43 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Looks good. On Mon, Jan 13, 2014 at 11:40 AM, Robby Findler ro...@eecs.northwestern.edu wrote: How about this bullet: * Typed Racket is now

Re: [racket-dev] release notes draft

2014-01-13 Thread Sam Tobin-Hochstadt
, Jan 13, 2014 at 11:06 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Use 'compiler performance' Avoid 'faster' without 'than' On Jan 13, 2014, at 12:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I don't like the use of compilation here, but I'm happy to drop now. Sam

Re: [racket-dev] [plt] Push #28054: master branch updated

2014-01-13 Thread Sam Tobin-Hochstadt
I think it's really `(string-tring s \n #:left? #f)`. Sam On Mon, Jan 13, 2014 at 4:40 PM, Eli Barzilay e...@barzilay.org wrote: 4d44878 Asumu Takikawa as...@racket-lang.org 2014-01-06 17:47 : | Move `chomp` function into its own util file : A

Re: [racket-dev] [plt] Push #28062: master branch updated

2014-01-15 Thread Sam Tobin-Hochstadt
On Wed, Jan 15, 2014 at 12:31 PM, mfl...@racket-lang.org wrote: +Constructs a function that is suitable for use as a +@racket[#%module-begin] replacement, particularly to replace the +facet of @racket[#%module-begin] that wraps each top-level +expression to print the expression's result(s).

Re: [racket-dev] [plt] Push #28137: master branch updated

2014-02-04 Thread Sam Tobin-Hochstadt
On Tue, Feb 4, 2014 at 6:12 PM, as...@racket-lang.org wrote: + ;; Note: in practice it's unlikely that the second pattern will ever come up + ;; because the sequence number for '() will be low and the union will + ;; be sorted by sequence number. As a

Re: [racket-dev] [plt] Push #28213: master branch updated

2014-02-21 Thread Sam Tobin-Hochstadt
On Feb 20, 2014 10:33 PM, Neil Toronto neil.toro...@gmail.com wrote: On 02/20/2014 02:52 PM, as...@racket-lang.org wrote: asumu has updated `master' from 1f27fb7848 to 1c6c0855f7. http://git.racket-lang.org/plt/1f27fb7848..1c6c0855f7 =[ 103 Commits

Re: [racket-dev] [plt] Push #28239: master branch updated

2014-02-25 Thread Sam Tobin-Hochstadt
On Tue, Feb 25, 2014 at 8:34 AM, mfl...@racket-lang.org wrote: eff53cd Matthew Flatt mfl...@racket-lang.org 2014-02-24 16:42 : | treat FFI primitives like other primitives internally | | This change paves the way for JIT-inlining FFI operations | such as `ptr-ref`. Even without JIT

Re: [racket-dev] [plt] Push #28239: master branch updated

2014-02-25 Thread Sam Tobin-Hochstadt
On Tue, Feb 25, 2014 at 9:32 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 25 Feb 2014 09:22:54 -0500, Sam Tobin-Hochstadt wrote: On Tue, Feb 25, 2014 at 8:34 AM, mfl...@racket-lang.org wrote: eff53cd Matthew Flatt mfl...@racket-lang.org 2014-02-24 16:42 : | treat FFI primitives

Re: [racket-dev] [plt] Push #28281: master branch updated

2014-03-03 Thread Sam Tobin-Hochstadt
A few questions about this: 1. Why not keep the 7x faster version as the fallback? 2. How much of the performance difference is 31/63-bit integers vs the C code using 32/64 bit? 3. I think you could have used `define-inline` from `racket/performance-hint` here. Sam On Mon, Mar 3, 2014 at 7:55

Re: [racket-dev] Unlucky with Racket 6.0 (1/2)

2014-03-12 Thread Sam Tobin-Hochstadt
On Wed, Mar 12, 2014 at 6:35 PM, Paulo Matos pa...@matos-sorge.com wrote: So, I decide to run the gracket command under gdb but now it segfaults immediately without displaying drracket window. $ gdb --args /home/pmatos/local-install/racket-6.0/bin/../lib/gracket -N

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-26 Thread Sam Tobin-Hochstadt
On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Just to confirm: Redex isn't doing anything wrong, right? Correct -- I think `real` was always allowed to generate such numbers, but it didn't before. Sam Redex is now using the in-order enumeration generation

Re: [racket-dev] new github key

2014-04-10 Thread Sam Tobin-Hochstadt
You do that yourself, in your github settings. The admin for `racket` doesn't know anything about anyones keys. Sam On Thu, Apr 10, 2014 at 1:33 PM, John Clements cleme...@brinckerhoff.org wrote: I’m probably being paranoid and/or avoiding real work, but I’ve made up a new ssh key for

Re: [racket-dev] [plt] Push #28550: master branch updated

2014-04-16 Thread Sam Tobin-Hochstadt
That seems quite drastic. For the `unstable` collection, it's worked fine just having the warning at the top of each page. Sam On Wed, Apr 16, 2014 at 6:07 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Can we make sure that some warning appears on the entire page so that nobody loses

Re: [racket-dev] [plt] Push #28550: master branch updated

2014-04-16 Thread Sam Tobin-Hochstadt
, Apr 16, 2014 at 6:12 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: This one's different, given our discussion while you were flying home. On Apr 16, 2014, at 6:07 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: That seems quite drastic. For the `unstable` collection, it's worked

Re: [racket-dev] Adding flvector to match

2014-04-17 Thread Sam Tobin-Hochstadt
I think you should do 2': Change racket/match to recognize patterns with #'flvector heads -- ie, use the binding for flvector from `racket/flonum` to determine if something matches. The use of symbolic names in match, rather than bindings, is a leftover rather than something we should keep adding

Re: [racket-dev] Catching the undefined value

2014-04-19 Thread Sam Tobin-Hochstadt
On Sat, Apr 19, 2014 at 4:45 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Morally TR ought to report the type of this x as empty set, which would inform you that the else branch is unreachable: (letrec ([x : Integer (if #t 0 x)]) x) I don't think that's right -- the else branch is

Re: [racket-dev] Regular expression types [was Re: [racket-bug] all/14455: wrong type for hash]

2014-04-19 Thread Sam Tobin-Hochstadt
On Sat, Apr 19, 2014 at 7:24 PM, Neil Toronto neil.toro...@gmail.com wrote: Are there type systems that can? It seems like you could specify this type and similar ones using regular expressions. There is lots of work on types for XML specification that can handle this sort of thing, I believe,

Re: [racket-dev] Can a TR wizard check my extflonum changes? [was [plt] Push #28592: master branch updated]

2014-04-22 Thread Sam Tobin-Hochstadt
On Tue, Apr 22, 2014 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote: The changes mostly mimic the types and test cases for flonums and flvectors, but with adjustments to leave extflonums out of the numeric tower. Everything passes and extflonum expressions seem to type correctly, but I

Re: [racket-dev] Can a TR wizard check my extflonum changes? [was [plt] Push #28592: master branch updated]

2014-04-22 Thread Sam Tobin-Hochstadt
On Tue, Apr 22, 2014 at 1:52 PM, Neil Toronto neil.toro...@gmail.com wrote: On 04/22/2014 11:50 AM, Sam Tobin-Hochstadt wrote: On Tue, Apr 22, 2014 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote: The changes mostly mimic the types and test cases for flonums and flvectors

[racket-dev] A function for checking if a library path exists

2014-04-23 Thread Sam Tobin-Hochstadt
I'd like to have a function that takes a collection path, as can be given to `lib`, and gives me back the file name. What's the best way to do this? It would seem like `collection-file-path` is the obvious solution, but that requires me to parse `racket/list` into racket and list.rkt. The other

Re: [racket-dev] A function for checking if a library path exists

2014-04-24 Thread Sam Tobin-Hochstadt
Great, thanks. I'll add a hint to the documentation pointing to `syntax/modresolve`. Sam On Wed, Apr 23, 2014 at 6:31 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I think you're looking for `resolve-module-path`. At Wed, 23 Apr 2014 17:41:19 -0400, Sam Tobin-Hochstadt wrote: I'd like to have

Re: [racket-dev] Pre-Release Checklist for v6.0.1, Second Call

2014-04-24 Thread Sam Tobin-Hochstadt
On Thu, Apr 24, 2014 at 2:58 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests Done. - Typed Racket Updates: update HISTORY In process. Sam

Re: [racket-dev] comments on comments on learning Racket

2014-04-26 Thread Sam Tobin-Hochstadt
On Sat, Apr 26, 2014 at 7:09 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: ;; - ** What does it mean to say , or get guidance? Where should people get guidance? What about? Avoid useless words. On this topic

Re: [racket-dev] comments on comments on learning Racket

2014-04-26 Thread Sam Tobin-Hochstadt
On Sat, Apr 26, 2014 at 7:58 PM, Neil Van Dyke n...@neilvandyke.org wrote: Sam Tobin-Hochstadt wrote at 04/26/2014 07:26 PM: On this topic (which is about the Choose a language language that DrRacket starts in when newly installed), I think we should just delete all of this code, and start

Re: [racket-dev] comments on comments on learning Racket

2014-04-26 Thread Sam Tobin-Hochstadt
On Sat, Apr 26, 2014 at 8:09 PM, Neil Van Dyke n...@neilvandyke.org wrote: Sam Tobin-Hochstadt wrote at 04/26/2014 08:06 PM: On Sat, Apr 26, 2014 at 7:58 PM, Neil Van Dyke n...@neilvandyke.org wrote: Sam Tobin-Hochstadt wrote at 04/26/2014 07:26 PM: On this topic (which is about the Choose

Re: [racket-dev] comments on comments on learning Racket

2014-04-26 Thread Sam Tobin-Hochstadt
On Sat, Apr 26, 2014 at 8:16 PM, Neil Van Dyke n...@neilvandyke.org wrote: Sam Tobin-Hochstadt wrote at 04/26/2014 08:13 PM: I'm confused about what you're suggesting, then. Is there a difference, under your suggestion, between opening DrRacket for the first time, entering `1

Re: [racket-dev] [plt] Push #28633: master branch updated

2014-04-28 Thread Sam Tobin-Hochstadt
On Apr 28, 2014 12:16 AM, Neil Toronto neil.toro...@gmail.com wrote: For anyone wondering what this stuff means: most mixed exact/inexact math in Racket should be up to 5x or so faster now, depending on how conversion-heavy it is and how large the numbers are. On my machine, `real-double-flonum`

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Sam Tobin-Hochstadt
On Mon, Apr 28, 2014 at 9:47 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: * SAM suggests to always start in #lang racket. Tell students to switch to #lang htdp/bsl or use Choose Language. I think this is plain unfriendly to our largest audience. Here is my counter-proposal: when

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Sam Tobin-Hochstadt
On Mon, Apr 28, 2014 at 9:47 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: when drracket starts w/o a preference file, we pop up a radio menu: o Are you a student learning to program? o Are you an experienced programmer learning to use Racket? Depending on which bullet the person

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

2014-05-01 Thread Sam Tobin-Hochstadt
On May 1, 2014 10:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Thu, May 1, 2014 at 8:44 PM, Eric Dobson eric.n.dob...@gmail.com wrote: 6f56948cff75dd4497b742ae01cd5df18c654e6f - The contract boundary between typed/untyped modules is much less expensive. This one plus the one

Re: [racket-dev] [racket] lab notebook on learning process (was: Re: Macros baffle me)

2014-05-06 Thread Sam Tobin-Hochstadt
On Tue, May 6, 2014 at 12:14 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Why does he think Performance sucks? Because here's the list of things that are slow DrRacket is an operating system running on top of your other OS to make life for Racket developers simple. It was originally

Re: [racket-dev] [racket] lab notebook on learning process (was: Re: Macros baffle me)

2014-05-06 Thread Sam Tobin-Hochstadt
scrolling. There's lots of work to do. :) Robby On Tue, May 6, 2014 at 12:43 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Tue, May 6, 2014 at 12:14 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Why does he think Performance sucks? Because here's the list of things

Re: [racket-dev] [plt] Push #28684: master branch updated

2014-05-06 Thread Sam Tobin-Hochstadt
-racket-lib/typed-racket/utils/ 3.3% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/ 7.3% pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/ ~~ f83950f Sam Tobin-Hochstadt sa...@cs.indiana.edu 2014-05-05 21:30 : | Refactor type inference to eliminate

[racket-dev] A strange problem with namespaces

2014-05-07 Thread Sam Tobin-Hochstadt
This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works when line 33 is uncommented, otherwise it gives the error: ?: module mismatch; attempted to use a module that is not available possible cause: using (dynamic-require #f) but need (dynamic-require 0)

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Sam Tobin-Hochstadt
, May 7, 2014 at 9:11 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works when line 33 is uncommented, otherwise it gives the error: ?: module mismatch; attempted to use a module that is not available possible cause

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Sam Tobin-Hochstadt
On Wed, May 7, 2014 at 11:07 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Great, thanks! Also, can you say more about when this trick is needed? When I try to use it in the actual code that I want to run, I end up with the same error, or about other submodules that are missing. More

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Sam Tobin-Hochstadt
On Wed, May 7, 2014 at 11:57 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I see. The errors are about the modules that require evaluator.rkt. That is, the modules that use `phase1-phase0-eval` need to be available, not just evaluator.rkt, so that transformer bindings in those modules can be

[racket-dev] A very interesting post about Webkit's new JS JIT

2014-05-13 Thread Sam Tobin-Hochstadt
For anyone interested in high performance JIT compilers, Filip Pizlo's post here: https://www.webkit.org/blog/3362/introducing-the-webkit-ftl-jit/ about the new JIT they've added in WebKit using LLVM will be very interesting. Sam _ Racket Developers list:

<    1   2   3   4   5   6   7   >