Re: [racket] slow g^x=h mod p meet in the middle code

2014-02-28 Thread Matthias Felleisen
Thanks Cristian. Man a full day away from my email and good things happen. I should do this more often. On Feb 28, 2014, at 2:48 PM, Neil Toronto wrote: > Well done. I would never have thought of compiling with CGC. > > Neil ⊥ > > On 02/28/2014 11:46 AM, Matthew Flatt wrote: >> Cristian d

Re: [racket] slow g^x=h mod p meet in the middle code

2014-02-28 Thread Neil Toronto
Well done. I would never have thought of compiling with CGC. Neil ⊥ On 02/28/2014 11:46 AM, Matthew Flatt wrote: Cristian determined that Racket really was was much slower for the program on Windows than on other platforms, and he also noticed that RacketCGC was significantly faster. That info

Re: [racket] Everything type-checks; on to benchmarking and optimization

2014-02-28 Thread Asumu Takikawa
On 2014-02-28 11:23:58 -0500, Vincent St-Amour wrote: > The "typed-untyped interaction" section of the TR guide does mention the > overhead of contracts. I'll add mentions elsewhere in the docs (probably > in the caveats and optimization sections). Would it help if the "important caveat" bit in th

Re: [racket] slow g^x=h mod p meet in the middle code

2014-02-28 Thread Matthew Flatt
Cristian determined that Racket really was was much slower for the program on Windows than on other platforms, and he also noticed that RacketCGC was significantly faster. That information pointed me to a simple inefficiency in the way Racket allocated for GMP with the default collector. I've push

Re: [racket] slow g^x=h mod p meet in the middle code

2014-02-28 Thread Cristian Baboi
On Thu, 27 Feb 2014 23:29:36 +0200, Eric Dong wrote: I have a 2.4 GHz machine (n-core does not matter; Racket only uses one core), and I get cpu time: 25228 real time: 25202 gc time: 18840 on Linux x86. Are you sure you ran the "Rackety" program Matthias posted? On Linux x64 Debian 6 compil

Re: [racket] fedora build

2014-02-28 Thread John Clements
On Feb 28, 2014, at 8:30 AM, Manfred Lotz wrote: > On Fri, 28 Feb 2014 08:14:43 -0700 > Matthew Flatt wrote: > >> At Thu, 27 Feb 2014 22:21:31 -0800, John Clements wrote: >>> I’m totally thrilled to see the 6.0 release. Are we planning to >>> create a Red Hat / Fedora build? >> >> Does the bu

Re: [racket] fedora build

2014-02-28 Thread Manfred Lotz
On Fri, 28 Feb 2014 08:14:43 -0700 Matthew Flatt wrote: > At Thu, 27 Feb 2014 22:21:31 -0800, John Clements wrote: > > I’m totally thrilled to see the 6.0 release. Are we planning to > > create a Red Hat / Fedora build? > > Does the build that was created on Ubuntu not work? Since Racket loads >

Re: [racket] Everything type-checks; on to benchmarking and optimization

2014-02-28 Thread Vincent St-Amour
At Fri, 28 Feb 2014 10:50:11 -0500, Stephen Bloch wrote: > > On Feb 28, 2014, at 10:34 AM, Vincent St-Amour wrote: > > > This code is probably the problem: > > > >(require/typed racket/unsafe/ops > > [(unsafe-fx+ index+) [Index Index -> Index]] > > [unsaf

Re: [racket] Everything type-checks; on to benchmarking and optimization

2014-02-28 Thread Stephen Bloch
On Feb 28, 2014, at 10:34 AM, Vincent St-Amour wrote: > This code is probably the problem: > >(require/typed racket/unsafe/ops > [(unsafe-fx+ index+) [Index Index -> Index]] > [unsafe-fx+[Fixnum Fixnum -> Fixnum]] > [unsafe-fx- (Fixn

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Neil Van Dyke
What I saw of R7RS-small in a quick skim suggests that (unless I missed something hard) it could be done by an experienced programmer who was new to Racket, or by someone like a smart CS undergrad who will put in the hours to work through all the details. You'll need some library procedures, s

Re: [racket] Everything type-checks; on to benchmarking and optimization

2014-02-28 Thread Vincent St-Amour
This code is probably the problem: (require/typed racket/unsafe/ops [(unsafe-fx+ index+) [Index Index -> Index]] [unsafe-fx+[Fixnum Fixnum -> Fixnum]] [unsafe-fx- (Fixnum Fixnum -> Fixnum)] [unsafe-fl+ (Flonum Flon

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Daniel Carrera
On 28 February 2014 16:13, Sam Tobin-Hochstadt wrote: > > Could someone tell me what the "(legacy 50)" means, and what a reasonable > > value would be for R7RS? For now I chose "(language 1)" which I copied > from > > the R6RS info.rkt file, but I have no idea what I'm doing. > > > That informati

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Sam Tobin-Hochstadt
On Fri, Feb 28, 2014 at 10:03 AM, Daniel Carrera wrote: > > > So, I start by opening info.rkt and I see this: > > (define scribblings '(("r5rs.scrbl" (multi-page) (legacy 50 > > > Could someone tell me what the "(legacy 50)" means, and what a reasonable > value would be for R7RS? For now I cho

Re: [racket] fedora build

2014-02-28 Thread Matthew Flatt
At Thu, 27 Feb 2014 22:21:31 -0800, John Clements wrote: > I’m totally thrilled to see the 6.0 release. Are we planning to create a Red > Hat / Fedora build? Does the build that was created on Ubuntu not work? Since Racket loads most libraries dynamically, our build should be especially portable.

Re: [racket] Everything type-checks; on to benchmarking and optimization

2014-02-28 Thread Stephen Bloch
On Feb 17, 2014, at 10:23 AM, Vincent St-Amour wrote: > As Matthias said, if you can share your code, I'd be happy to have a > look. Sorry I haven’t gotten around to posting this in the intervening week and a half. Anybody who’s curious, please see https://www.dropbox.com/sh/guhsnas7aldecx7/

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Daniel Carrera
Hi Sam, I probably have neither the skill, nor the time. But what the heck, I'll start poking. In the end I probably won't get far, but I will have learned a little Racket and a little Scheme... There are worse fates in this world than that. So, let's see... I start by copying the R5RS directory

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Sam Tobin-Hochstadt
I don't know -- it would certainly be jumping in at the deep end, but it all depends on the user in question. Sam On Fri, Feb 28, 2014 at 9:27 AM, Daniel Carrera wrote: > Is that a task suitable for a new user? > > Daniel. > > > On 28 February 2014 15:06, Sam Tobin-Hochstadt wrote: >> >> Right

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Daniel Carrera
Is that a task suitable for a new user? Daniel. On 28 February 2014 15:06, Sam Tobin-Hochstadt wrote: > Right now, I think most Racketeers are focused on making Racket the > best Racket we can, rather than on Scheme, so I don't know of anyone > currently planning to work on this. However, the

[racket] Support for R7RS-small?

2014-02-28 Thread Daniel Carrera
Hello, I am a fairly new user of Scheme and Racket. My question is, now that R7RS-small is out, when can I expect to see support added to Racket / DrRacket? In other words, I would like to be able to type "#lang r7rs" in a way analogous to how today I can enter "#lang r5rs" and "#lang r6rs". Give

Re: [racket] Support for R7RS-small?

2014-02-28 Thread Sam Tobin-Hochstadt
Right now, I think most Racketeers are focused on making Racket the best Racket we can, rather than on Scheme, so I don't know of anyone currently planning to work on this. However, the flexibility of Racket means that it should be quite reasonable to adapt the existing R6RS and R5RS implementation