[racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread Eric Dobson
lambda supports optional arguments, and does this by expanding out into a core form that has flag arguments for if each argument is supplied. This is tricky to type in TR and so I was investigating why it did it this way. I did a micro benchmark on another method of expansion and it was 60%

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread J. Ian Johnson
My guess would be code explosion. -Ian - Original Message - From: Eric Dobson eric.n.dob...@gmail.com To: dev dev@racket-lang.org Sent: Sun, 24 Feb 2013 12:51:12 -0500 (EST) Subject: [racket-dev] Expansion of optional arguments in lambda lambda supports optional arguments, and does this

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread J. Ian Johnson
Scratch that, didn't look very deeply at your solution. -Ian - Original Message - From: J. Ian Johnson i...@ccs.neu.edu To: Eric Dobson eric.n.dob...@gmail.com Cc: dev dev@racket-lang.org Sent: Sun, 24 Feb 2013 13:46:14 -0500 (EST) Subject: Re: [racket-dev] Expansion of optional arguments

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread Matthew Flatt
At Sun, 24 Feb 2013 09:51:12 -0800, Eric Dobson wrote: lambda supports optional arguments, and does this by expanding out into a core form that has flag arguments for if each argument is supplied. This is tricky to type in TR and so I was investigating why it did it this way. I did a micro

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread Eric Dobson
I think I figured out the actual answer which is semantics. If the arguments are ever set!ed then my implementation will lead to a different value. (define (f a (b (begin (set! a 2) 3))) a) This should return 2 if b is not supplied, but in my expansion it would return what ever was supplied

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread Robby Findler
Sounds like a good thing to add to test suite! Robby On Sun, Feb 24, 2013 at 2:04 PM, Eric Dobson eric.n.dob...@gmail.comwrote: I think I figured out the actual answer which is semantics. If the arguments are ever set!ed then my implementation will lead to a different value. (define (f a

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Robby Findler
I mostly agree with Eli here, but it would be nice to be able to go from the front of docs.racket-lang.org/ to a version specific page with more goodies (including downloading). Can we make the version 5.3.3 text at the upper right clickable? Robby On Sun, Feb 24, 2013 at 2:22 PM, Eli Barzilay

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Eli Barzilay
Two hours ago, Eli Barzilay wrote: I think that this should be reverted, and instead make the older docs more available: I'll make another column in the all-versions page (main page download all versions). Done, now. See the new links on the all versions page, and there's also a link in the

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Danny Yoo
On Sun, Feb 24, 2013 at 3:16 PM, Eli Barzilay e...@barzilay.org wrote: Two hours ago, Eli Barzilay wrote: I think that this should be reverted, and instead make the older docs more available: I'll make another column in the all-versions page (main page download all versions). Done, now.

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Robby Findler
How about the docs link on the front page go to a page with the versions all listed, and those links go to pages that look like the current docs.racket-lang.org/ ? On Sun, Feb 24, 2013 at 4:51 PM, Danny Yoo d...@hashcollision.org wrote: On Sun, Feb 24, 2013 at 3:16 PM, Eli Barzilay

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Danny Yoo
On Sun, Feb 24, 2013 at 3:55 PM, Robby Findler ro...@eecs.northwestern.edu wrote: How about the docs link on the front page go to a page with the versions all listed, and those links go to pages that look like the current docs.racket-lang.org/ ? No, I do like that the default is to show the

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Eli Barzilay
40 minutes ago, Danny Yoo wrote: On Sun, Feb 24, 2013 at 3:55 PM, Robby Findler ro...@eecs.northwestern.edu wrote: How about the docs link on the front page go to a page with the versions all listed, and those links go to pages that look like the current docs.racket-lang.org/ ? No, I do

[racket-dev] `math' compilation time

2013-02-24 Thread Eli Barzilay
According to my rough count (and running setup with a -j 1), compiling `math' takes 40% of the whole tree compilation. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Matthew Flatt
At Sun, 24 Feb 2013 17:16:13 -0500, Eli Barzilay wrote: Two hours ago, Eli Barzilay wrote: I think that this should be reverted, and instead make the older docs more available: I'll make another column in the all-versions page (main page download all versions). Done, now. See the new

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Eli Barzilay
A few minutes ago, Matthew Flatt wrote: At Sun, 24 Feb 2013 17:16:13 -0500, Eli Barzilay wrote: Two hours ago, Eli Barzilay wrote: I think that this should be reverted, and instead make the older docs more available: I'll make another column in the all-versions page (main page