Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-17 Thread Neil Toronto
On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto neil.toro...@gmail.com wrote: * `math/base' re-exports `racket/math', but with extra constants (like `phi.0') and functions (like `power-of-two?'). It also exports improved hyperbolic functions,

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-05 Thread Matthias Felleisen
I think this idea is worth exploring. Sam and Eli should implement it. On Oct 5, 2012, at 8:39 AM, Eli Barzilay wrote: Yesterday, Matthias Felleisen wrote: I know What I mean is an _abstraction mechanism_ inside of TR. Possibly something that nobody else has. +18.59 And a

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-04 Thread Sam Tobin-Hochstadt
On Mon, Oct 1, 2012 at 6:49 PM, Neil Toronto neil.toro...@gmail.com wrote: This is similar to the testing code I wrote, and it also exhibits quadratic behavior. The `apply*' macro generates the simplest deep expression possible. It's used to repeatedly apply a function with the simplest

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-04 Thread Matthias Felleisen
On Oct 1, 2012, at 2:26 PM, Neil Toronto wrote: (case- (Zero - Zero) (Flonum - Flonum) (Real - Real) (Float-Complex - Float-Complex) (Complex - Complex)) I haven't been able to give it a type as specific as the type of the `sinh' exported from

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-04 Thread Sam Tobin-Hochstadt
On Thu, Oct 4, 2012 at 5:31 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 1, 2012, at 2:26 PM, Neil Toronto wrote: (case- (Zero - Zero) (Flonum - Flonum) (Real - Real) (Float-Complex - Float-Complex) (Complex - Complex)) I haven't been

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-04 Thread Matthias Felleisen
On Oct 4, 2012, at 5:34 PM, Sam Tobin-Hochstadt wrote: On Thu, Oct 4, 2012 at 5:31 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 1, 2012, at 2:26 PM, Neil Toronto wrote: (case- (Zero - Zero) (Flonum - Flonum) (Real - Real) (Float-Complex -

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-02 Thread Sam Tobin-Hochstadt
On Mon, Oct 1, 2012 at 9:44 PM, Neil Toronto neil.toro...@gmail.com wrote: The only bit that bothers me is the (begin (not (flonum-wrapper? x)) ...) stuff left lying around after TR's optimizer eliminates the branches in the expansions of `fw+'. IIRC, they cause futures to sync, but I'm going

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-02 Thread J. Ian Johnson
@racket-lang.org Sent: Tuesday, October 2, 2012 9:44:13 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome On Mon, Oct 1, 2012 at 9:44 PM, Neil Toronto neil.toro...@gmail.com wrote: The only bit that bothers me is the (begin

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-02 Thread Sam Tobin-Hochstadt
Toronto neil.toro...@gmail.com Cc: dev@racket-lang.org dev@racket-lang.org Sent: Tuesday, October 2, 2012 9:44:13 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome On Mon, Oct 1, 2012 at 9:44 PM, Neil Toronto neil.toro

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-02 Thread J. Ian Johnson
-Hochstadt sa...@ccs.neu.edu To: J. Ian Johnson i...@ccs.neu.edu Cc: dev dev@racket-lang.org, Neil Toronto neil.toro...@gmail.com Sent: Tuesday, October 2, 2012 10:02:50 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome On Tue

[racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Neil Toronto
I think I'm about a week away from having the math library's initial commit ready. It just needs some more docs and test cases. Here are the high-level issues, for which I'm soliciting comments, suggestions, questions, and answers: * Compile time. It currently takes 1m20s to compile `math'

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Robby Findler
On Mon, Oct 1, 2012 at 1:26 PM, Neil Toronto neil.toro...@gmail.com wrote: I think I'm about a week away from having the math library's initial commit ready. It just needs some more docs and test cases. Here are the high-level issues, for which I'm soliciting comments, suggestions, questions,

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Neil Toronto
On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto neil.toro...@gmail.com wrote: PR 13098 isn't really fixable, in some sense. There's just more data there with broader types, so it will always take longer than for more specific types. All of the

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Sam Tobin-Hochstadt
On Mon, Oct 1, 2012 at 6:08 PM, Neil Toronto neil.toro...@gmail.com wrote: On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto neil.toro...@gmail.com wrote: PR 13098 isn't really fixable, in some sense. There's just more data there with broader

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Neil Toronto
On 10/01/2012 04:20 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 6:08 PM, Neil Toronto neil.toro...@gmail.com wrote: On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 2:26 PM, Neil Toronto neil.toro...@gmail.com wrote: My timing tests also show that

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Sam Tobin-Hochstadt
On Mon, Oct 1, 2012 at 6:49 PM, Neil Toronto neil.toro...@gmail.com wrote: On 10/01/2012 04:20 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 6:08 PM, Neil Toronto neil.toro...@gmail.com wrote: On 10/01/2012 02:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 2:26 PM, Neil

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Neil Toronto
On 10/01/2012 06:29 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 1, 2012 at 6:49 PM, Neil Toronto neil.toro...@gmail.com wrote: #lang typed/racket (: plus (Flonum Flonum - Flonum)) (define (plus a b) (+ a b)) (module provider racket (require (submod ..)) (provide inline-plus)