Matthias Felleisen wrote:
Catching up with some mail.
Neil wrote:
Avoiding allocation reduces GC collects, which reduces stutters and hitches.
My (possibly old) understanding of GC and mutation tell me that this
is one of those prejudices that programmers should get rid of. Every
mutation
Jay McCarthy wrote:
What do you think is missing from these tutorials:
http://docs.racket-lang.org/quick/index.html
http://docs.racket-lang.org/continue/index.html
http://docs.racket-lang.org/more/index.html
In particular, Quick tries to present the essence of the languages.
Maybe the
The Ubuntu instructions should have a sudo apt-get update after adding
the ppa repository.
Neil T
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
Eli Barzilay wrote:
20 minutes ago, Neil Toronto wrote:
The Ubuntu instructions should have a sudo apt-get update after
adding the ppa repository.
Is this about the git instructions at git.racket-lang.org, and if so,
do you mean that it should be:
sudo add-apt-repository ppa:git
Robby Findler wrote:
Is there any value to, on a 64 bit machine, having 32 bit floats be
immediate values to avoid boxing?
It would certainly be faster than 64-bit boxed floats.
You could get better precision with 62-bit unboxed floats, stealing a
couple of bits from the exponent, doing
Eric Hanchrow wrote:
I find myself using this all the time; it seems it'd be handy to have built in.
(define (shuffled list)
(sort list #:key (lambda (_) (random)) #:cache-keys? #t))
Is the distribution of shuffled lists uniform? That'd be hard to
analyze, since it would depend on the
I've written a version of `set-choose', and also `set-first' and
`set-rest' (with the obvious meanings) a few times. They can be useful.
(I always waffled about whether to use just `set-choose', or `set-first'
along with `set-rest'. Mathematically, `set-first' and `set-rest' don't
make sense,
Re-routing this email exchange to [racket-dev] for comments.
Long story short: Jay roped me into replacing the current `plot' module
by wrapping a plot library I was working on for my own use. (FWIW, I'm
happy to finally contribute something!) Intended features:
1. Doesn't depend on an FFI
, Neil Toronto wrote:
Re-routing this email exchange to [racket-dev] for comments.
Long story short: Jay roped me into replacing the current `plot' module by
wrapping a plot library I was working on for my own use. (FWIW, I'm happy to
finally contribute something!) Intended features:
1. Doesn't
On 08/02/2011 01:28 PM, Eli Barzilay wrote:
About a minute ago, Matthew Flatt wrote:
At Tue, 2 Aug 2011 16:20:43 -0400, Eli Barzilay wrote:
This replacement would be great -- it's pretty bad now that it
goes out to a(n outdated) C library with inferior graphic
capabilities, draws the graph
need to generate and would like to give
your 2d plot a try.
Kevin
On 08/02/2011 11:33 AM, Neil Toronto wrote:
Re-routing this email exchange to [racket-dev] for comments.
Long story short: Jay roped me into replacing the current `plot'
module by wrapping a plot library I was working on for my
I've pushed the latest plot2d and plot3d to my github account. I want to
know whether there are any critical differences in output or execution
time among platforms. There shouldn't be any, but it's possible.
Can I get a few volunteers, at least one on Windows and one on Mac, to
clone it and
Can I get a racket/gui expert's help on Jay's machine's output? There
are two issues:
1. I have it render text with an 8 point font. On Jay's Mac, it's too
small to be 8 point. Either there's some font scaling or it's
erroneously choosing an 8 *pixel* font. How can we tell?
2. The Mac's
On 08/12/2011 07:04 PM, Shriram Krishnamurthi wrote:
Windows done; specs below in case someone w/ a significantly different
machine wants to try it out too:
Windows 7 Home Premium
1.2 GHz ULV Intel Core i5-430UM
4 GB DDR3 RAM
SATA hard drive (5400 RPM)
Output is here:
On 08/13/2011 05:58 AM, Matthew Flatt wrote:
The Mac's drawing layer equates drawing units and font point sizes,
while the drawing layers for Windows and Unix try to adapt the to the
screen resolution for the conversion of point-sizes to drawing-unit.
For drawing pictures, it usually works
On 08/27/2011 11:26 AM, Aaron Turon wrote:
Hi Neil,
I've been using the new plot library for visualizing some benchmark
results in three dimensions (# threads, amount of work, throughput).
It's very easy to use, and the interactive 3d plots are great. I also
plan to use the PDF export for my
Eli, I'm moving part of our discussion to the dev list for others' input.
On 09/25/2011 04:39 PM, Eli Barzilay wrote:
Three hours ago, Neil Toronto wrote:
It's going well. We could put it in the repo later today if you
want. I just have to consolidate a bunch of parameters first, and
move bits
On 09/29/2011 05:51 AM, Sam Tobin-Hochstadt wrote:
On Thu, Sep 29, 2011 at 7:47 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Thu, Sep 29, 2011 at 3:33 AM, Eli Barzilaye...@barzilay.org wrote:
Yesterday, Neil Toronto wrote:
1. Obviously, Module 2's path should be 'plot'. Right
On 09/29/2011 12:27 PM, Sam Tobin-Hochstadt wrote:
You're referring to the code that implements `fit', right?
Shouldn't we just keep that until someone does the same thing that
Neil has done for that code too?
Yes. I'll likely convert that one as well, but not right now. I've got
quite a bit
I've just pushed the new 'plot' library.
Eli and I both forgot that the new 'plot' still needs the old libfit,
and removed it along with libplplot. I just added libfit back (the
sources are in src/fit now instead of src/plot/fit) along with the
proper configure, Makefile.in, and get-libs.rkt
On 10/06/2011 12:28 PM, Prabhakar Ragde wrote:
On 10/6/11 2:12 PM, Eli Barzilay wrote:
Sam is talking about building the ASTs *while* matching, which is what
Jay was trying to do with uses of `app'. I think that a teaching
context is in particular one where such a thing doesn't fit -- it
On 10/06/2011 01:20 PM, Eli Barzilay wrote:
Just now, Neil Toronto wrote:
On 10/06/2011 12:28 PM, Prabhakar Ragde wrote:
On 10/6/11 2:12 PM, Eli Barzilay wrote:
Sam is talking about building the ASTs *while* matching, which is
what Jay was trying to do with uses of `app'. I think
On 10/07/2011 09:56 AM, Robby Findler wrote:
On Fri, Oct 7, 2011 at 10:35 AM, Neil Torontoneil.toro...@gmail.com wrote:
Why I care: I wrote a macro that both defines a contracted function and
defines a macro that expands to a Scribble 'defproc' with the same contract.
With the source locations
On 10/07/2011 10:24 AM, Robby Findler wrote:
On Fri, Oct 7, 2011 at 11:15 AM, Neil Torontoneil.toro...@gmail.com wrote:
Here's the thing. When I first looked into it, I wasn't making a collection;
'plot' was just a directory on my hard drive. I tried using
'scribble/srcloc', and it kept not
That was quick!
On 10/09/2011 01:10 PM, Doug Williams wrote:
I ported all of the science collection graphics to use the new plot
package. It was relatively painless. Most of the effort was actually in
improving my graphics using some of the new options - like adding labels
for legends. Also,
On 10/17/2011 07:02 PM, Ryan Culpepper wrote:
* Neil Torontoneil.toro...@gmail.com
- Plot Tests
All passed.
Neil T
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
On 11/02/2011 09:06 AM, Eli Barzilay wrote:
The release announcement sketch is finally ready, apologies for the
delay. It should be close to being a final version, and I'll probably
proceed with the release tonight -- so if there are any issues with
it, please reply soon.
On 11/02/2011 03:31 PM, Eli Barzilay wrote:
Just now, Sam Tobin-Hochstadt wrote:
On Wed, Nov 2, 2011 at 5:24 PM, Eli Barzilaye...@barzilay.org wrote:
* The `plot' collection has been reimplemented in Racket. It now
offers PDF output, log axes, histograms, and more. Some code that
uses
I'd quote the commit email but Thunderbird inexplicably freezes in
various spots when editing multi-megabyte emails...
Anyway, one commit erroneously says Merge into 5.2. Please ignore that.
Also, for those interested, I've added `unstable/parameter-group'.
Neil T
On 11/18/2011 01:35 PM, Stephen Bloch wrote:
On Nov 18, 2011, at 2:34 PM, Neil Torontoneil.toro...@gmail.com wrote:
... I'd like to add exact-round, exact-floor, exact-truncate and exact-ceiling.
I rarely need to chop off fractional parts without also making the result exact.
That might be
Moving to dev.
16x16 is tiny! But I can see why. I've attached my current toolbar,
which uses all 22px icons. They look a bit big.
I'm doing more than just replacing icons. We need abstractions. Not
having them is partly why DrRacket's icon set looks old and
inconsistent. So here's what
On 11/27/2011 01:28 PM, Robby Findler wrote:
On Sun, Nov 27, 2011 at 2:02 PM, Neil Torontoneil.toro...@gmail.com wrote:
Thanks for taking this on, Neil!
:)
No no, that's just from back before we had alpha bitmaps. Please get rid of it!
Roger roger. Just loading them with 'png/alpha seems
I can't answer the question about underflow. But if you don't mind
installing a nightly build of Racket, you get the (currently
undocumented) module `unstable/flonum', which exports these:
flonum-bit-field
bit-field-flonum
flonum-ordinal; number of flonums away from 0 (+ or -)
The new PLaneT logo I just pushed is in the logo icon category, so it
gets pre-rendered up to 512x512. (In case anybody wants it in the future
for the web site or something.) If you want to see what it looks like,
do this:
#lang racket
(require icons)
(for*/list ([color icon-colors]
On 12/05/2011 02:49 PM, Robby Findler wrote:
Matthew, Neil, and I have been talking about how to resolve the
dependency problem. I think that the our thinking was that the best
plan is to break out a pict library that both slideshow and drracket
can safely depend on, and have the icons library
Thanks, Ryan. Now everybody's not angry with me.
Well, Eli still is, but that's nothing new.
Neil T
(I'm just kidding, Eli.)
On 12/07/2011 11:52 PM, Ryan Culpepper wrote:
I've pushed a temporary fix to the dist-specs, and meta/check-dists now
runs without errors. Hopefully the nightly builds
Now that I'm a whiny junior dev, does that mean I can do the +/-1 thing?
Because after reading Eli's argument - particularly the symmetry
arguments - I'm totally +1-ing his proposal.
This is one of the last places I find myself using the (let () ...)
idiom. (The others are
I've pushed a change that removes DrRacket's dependence on
`slideshow/pict' (via `icons'), removes the `icons' module, and adds a
new `images' collection. Instead of precompiling SVGs, the new code
ray-traces floating-point ARGB+Z bitmaps; instead of composing icons
from picts, it composites
On 01/08/2012 08:10 PM, Eli Barzilay wrote:
Yesterday, Neil Toronto wrote:
I've pushed a change that removes DrRacket's dependence on
`slideshow/pict' (via `icons'), removes the `icons' module, and adds
a new `images' collection. Instead of precompiling SVGs, the new
code ray-traces floating
Forgot to say: please merge these into 5.2.1.
Thanks!
On 01/10/2012 03:24 PM, ntoro...@racket-lang.org wrote:
ntoronto has updated `master' from dc2aa3ea5c to 5736695bae.
http://git.racket-lang.org/plt/dc2aa3ea5c..5736695bae
=[ 4 Commits
On 01/11/2012 06:32 AM, Marijn wrote:
It looks like there is still a residual bug though, that causes the
stairs function when zoomed in to have non-vertical parts as you can see
in the screenshot, though I can reproduce it also with the C locale, so
looks like a genuine plot library bug this
Does Debug Syntax not work for the macro stepper? I'd call it that and
switch it with the debugger. Then we'd have (left to right):
Check Syntax
Debug Syntax
Debug [Program]
Run [Program]
Stop [Program]
My 10th-grade English teacher wouldn't complain about a lack of
parallelism anymore,
The time taken to render icons is becoming noticeable when DrRacket
starts up. I estimate ~300ms on my beefy laptop, and it will probably
double. 20ms per icon is fine until there are 50 icons and icon parts.
(This also would have happened if the icons were rendered from SVG in
Racket. The
On 01/12/2012 11:52 AM, Matthew Flatt wrote:
At Thu, 12 Jan 2012 11:19:55 -0700, Neil Toronto wrote:
2. Compile time: Provide macros that render icons during expansion and
try to store them in the compiled directory.
Do you need icons to be in separate files? A macro could expand to a
byte
On 01/12/2012 12:22 PM, Eli Barzilay wrote:
Neither of these is relevant now, but still:
An hour ago, Neil Toronto wrote:
Which directory would I put them in? Would I make a subdirectory of
'pref-dir? (Not 'temp-dir, because that might be the current
directory.)
The temp directory is a bad
On 01/12/2012 12:22 PM, Eli Barzilay wrote:
Is there a way to reliably get the compiled directory path during
expansion, and then load files from it at runtime? Can I ensure that
.PNG files are distributed automatically?
Putting other stuff in compiled directories would probably complicate
On 01/12/2012 11:52 AM, Matthew Flatt wrote:
At Thu, 12 Jan 2012 11:19:55 -0700, Neil Toronto wrote:
2. Compile time: Provide macros that render icons during expansion and
try to store them in the compiled directory.
Do you need icons to be in separate files? A macro could expand to a
byte
On 01/12/2012 02:25 PM, Eli Barzilay wrote:
20 minutes ago, Neil Toronto wrote:
This is friggin' awesome. The expression
(compiled-left-arrow-icon '(255 95 78) 24)
Why is there a `compiled-' in the name?
There's also a left-arrow-icon function, which renders it at runtime
Sure!
BTW, having been inspired by Jay's latest elegant macro, I've shrunk the
implementation to 21 lines of code. (That's good for a tutorial.) It
works a little differently now, too. I think it's better.
Here's an example that bakes a list of stickman animation frames into a
compiled
, 2012 at 4:46 PM, Eli Barzilaye...@barzilay.org wrote:
Yesterday, Neil Toronto wrote:
On 01/12/2012 12:22 PM, Eli Barzilay wrote:
Is there a way to reliably get the compiled directory path during
expansion, and then load files from it at runtime? Can I ensure that
.PNG files are distributed
On 01/13/2012 06:16 PM, Robby Findler wrote:
On Fri, Jan 13, 2012 at 7:09 PM, Neil Torontoneil.toro...@gmail.com wrote:
I agree with everybody, especially Sam. :)
We're supposed to have a rich compiler extension API, in which programs
evaluated at expansion time are just as capable as runtime
I admit to being a chronic limit-pusher.
I'll take the GIF out or make it HTML-only.
Neil T
On 01/15/2012 06:46 PM, Eli Barzilay wrote:
The recent addition of GIF files doesn't work with PDFs, which breaks
the nightly build.
_
Racket Developers list:
For some reason, when I require (for-label db/base), I still get
warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red
underlines under them.
I'm also requiring (for-label slideshow/pict), but I get no warnings or
underlines for `pict?'. Is there something special I need to do
On 01/23/2012 01:18 PM, Neil Toronto wrote:
For some reason, when I require (for-label db/base), I still get
warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red
underlines under them.
Okay, I figured out what I need to do, but not why it works. I have to
require JUST
On 01/23/2012 01:36 PM, Ryan Culpepper wrote:
On 01/23/2012 01:31 PM, Neil Toronto wrote:
On 01/23/2012 01:18 PM, Neil Toronto wrote:
For some reason, when I require (for-label db/base), I still get
warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red
underlines under them
On 01/23/2012 08:04 PM, Ryan Culpepper wrote:
On 01/23/2012 06:30 PM, Robby Findler wrote:
* DrRacket now has a new slate of icons
The other seem too minor (and the second one is questionable; I think
everyone will appreciate them, but few will download because of that,
I guess).
I expect
On 01/23/2012 05:27 PM, Ryan Culpepper wrote:
Below is a rough list of additions and changes for v5.2.1. If you
are responsible for a change, please either elaborate it into an
announcement item or tell me if it shouldn't be included in the
announcement. Let me know if I've missed something.
* Plots look nicer, render up to 4 times faster, and are more
correct at very small and very large scales. New features
include customizable dual axis ticks and transforms (e.g. log
axes, date and currency ticks, axis interval collapse and
stretch), stacked histograms, and 3D
On 02/01/2012 09:55 AM, ntoro...@racket-lang.org wrote:
ntoronto has updated `master' from e4b1ef1b6e to 950f034936.
~~
| Pushing unfinished but stable flomap transforms so Matthew can debug a
segfault
:
M collects/images/icons/misc.rkt | 123 ++-
On 02/01/2012 10:10 AM, Ryan Culpepper wrote:
On 02/01/2012 09:55 AM, ntoro...@racket-lang.org wrote:
collects/unstable/contract.rkt
~~
--- OLD/collects/unstable/contract.rkt
+++ NEW/collects/unstable/contract.rkt
@@ -171,6 +171,14 @@
(lambda (idx . elems) #t)))
On 02/01/2012 05:58 PM, John Boyle wrote:
I happened to observe this commit from today by Neil Toronto:
http://git.racket-lang.org/plt/commitdiff/47fcdd4916a2d33ee5c28eb833397ce1d2a515e2
I may have some useful input on this, having dealt with similar problems
myself.
The problem: Given b
On 02/05/2012 03:11 PM, Stephen Chang wrote:
I want to write a redex metafunction contract that goes between two
languages. Is there currently a way to do this?
For example,
#lang racket
(require redex)
(define-language L1
(e 1))
(define-language L2
(f 2))
(define-metafunction L1
I think in my case I actually do want the same nonterminal names. The
higher-order language has lambdas while the first-order language
doesn't. The first-order language has an outer `let' while the
higher-order language has no `let'. Every other kind of expression is
the same and has the same
This is from the latest release. On Redex errors and some Typed Racket
errors (so far), I get something like
exception raised by error display handler: normalize-path:
#path:/var/tmp/racket (within the input path) is not a directory or
does not exist; original exception raised:
Nope.
On 02/07/2012 12:08 PM, Robby Findler wrote:
Do you get a stacktrace?
Robby
On Tue, Feb 7, 2012 at 1:01 PM, Neil Torontoneil.toro...@gmail.com wrote:
This is from the latest release. On Redex errors and some Typed Racket
errors (so far), I get something like
exception raised by error
On 02/07/2012 01:59 PM, Eli Barzilay wrote:
Two hours ago, Neil Toronto wrote:
This is from the latest release. On Redex errors and some Typed Racket
errors (so far), I get something like
exception raised by error display handler: normalize-path:
#path:/var/tmp/racket (within the input path
On 02/11/2012 11:40 AM, Matthias Felleisen wrote:
On Feb 11, 2012, at 1:27 PM, John Clements wrote:
Would it be productive to choose one randomly on startup?
Also, in case it's not obvious, a rotated and flipped version of the logo does
recall the lambda pretty clearly:
On 02/12/2012 05:58 PM, Robby Findler wrote:
On Sat, Feb 11, 2012 at 6:49 PM, Neil Torontoneil.toro...@gmail.com wrote:
(Robby already said no to animations, but he has to do what you say,
right? :p)
For the record, I don't oppose animations. I said that privately in a
series of messages to
So do I. Ending it with a dot makes it feel like an unfinished program
to me, parameterized on a Racket.
Neil ⊥
On 02/13/2012 10:03 AM, Matthias Felleisen wrote:
I do actually like the combination of lambda and r, though I am sure the color
scheme could benefit from some variation.
On Feb
I decided to play with this one a bit. I used PLT's lambda, put the r
in the same style, and then made it into a lambda r.acket banner.
Here's the deal, though. This one, even just the lambda r. in a
circle, is pushing complexity. We've been approaching logo design too
much like language
On 02/15/2012 12:21 PM, John Clements wrote:
On Feb 15, 2012, at 10:24 AM, Michael W wrote:
I'm no graphics designer but I've been playing with Eli's logo a
bit. I went gradient-happy; sorry.
Here it is with a silvery sheen:
http://dl.dropbox.com/u/219506/racket-logo/whitesilver-subtle.png
Jay had a cool idea to make propagan--er, promotional posters. The
attached SVG isn't the style Jay wanted (like the Obama Hope posters)
but I kinda like it. It's here:
http://students.cs.byu.edu/~ntoronto/matthias-poster.svg
Comments and criticisms?
I'm not sure where to put the PLT logo.
On 02/18/2012 09:03 AM, Matthew Flatt wrote:
At Sat, 18 Feb 2012 08:56:22 -0700, Neil Toronto wrote:
Jay had a cool idea to make propagan--er, promotional posters. The
attached SVG isn't the style Jay wanted (like the Obama Hope posters)
but I kinda like it. It's here:
http
On 02/18/2012 09:35 AM, Robby Findler wrote:
On Sat, Feb 18, 2012 at 10:23 AM, Neil Torontoneil.toro...@gmail.com wrote:
Another angle: what aspects of
Racket do we want to advertise?
Language building.
Definitely. I like Sam's idea on this one. I want a hi-res picture of
Matthew,
I've attached my entry into the lambda + R prototype series. I went
for symmetry on the lambda body, mimicked the round part of the Times
New Roman R, and compromised as little as possible on the angle of the
left leg.
This is a very tricky logo idea, FWIW. The left-leg angle is always hard
Beat me to it.
+2
On 02/19/2012 01:26 PM, Jay McCarthy wrote:
Awesome
On Sun, Feb 19, 2012 at 10:47 AM, Eli Barzilaye...@barzilay.org wrote:
Just now, Matthias Felleisen wrote:
On Feb 19, 2012, at 12:42 PM, Matthias Felleisen wrote:
Or, with the Matthias theme:
I want YOU to build your
This is nifty. What do you plan to do with it?
Neil ⊥
On 02/25/2012 02:22 PM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from 678941ce5a to 645ca02e92.
http://git.racket-lang.org/plt/678941ce5a..645ca02e92
=[ 1 Commits
I would say yes. Isn't this primarily a string function?
How about a #:repeated? argument that defaults to #t?
Neil ⊥
On 05/11/2012 08:38 AM, Matthias Felleisen wrote:
The question you need to ask is whether you want string-trim to be usable by
someone who is not familiar with our syntax
On 05/09/2012 02:18 AM, Laurent wrote:
From the guide: Caveat 1: Until language specifications come with
fixed indentation rules, we need to use the default settings of
DrRacket’s indentation for this rule to make sense.
Maybe a special submodule like drracket-indentation with declarations
New error format: +2
Changing my code: -1
Overall, +1. :D Should we have a Big Push to convert error message call
sites, starting with actively maintained code?
Neil ⊥
On 05/26/2012 06:09 AM, Matthew Flatt wrote:
I've pushed a first cut at overhauling error messages from `racket/base'.
Would it break anything to have flvectors print nicely? For example:
(flvector 1.0 2.0 3.0)
(flvector 1.0 2.0 3.0)
I've been working on publicizing/documenting the floating-point bitmaps
module used internally in `images'. I realized that flvectors are the
right data type for
On 05/30/2012 03:40 PM, Eli Barzilay wrote:
Now, lets imagine that instead of a simple `' hole, there are two
kinds of holes with an up or a down direction -- this leads to
this kind of a syntax:
(○ foo bar baz
(substring ↑ 3 8)
(string-trim ↑)
(let ([str ↑]) ↓)
(and
On 06/05/2012 03:57 PM, Vincent St-Amour wrote:
At Tue, 05 Jun 2012 15:45:09 -0600,
Neil Toronto wrote:
Vincent, is there a quick way for me to test whether the types I give
the new functions are sound?
I recently added redex-based random testing for TR's float types. It's
in collects/tests
On 06/19/2012 06:11 PM, Eli Barzilay wrote:
* There are two contexts where error messages are unwieldy: TR and
contract errors. In both of these the error text is huge to the
point of making a useless text that you need to manually grep
through. In TR it got bad enough that
On 06/24/2012 10:40 AM, Antonio Menezes Leitao wrote:
Hi,
Given that Racket implements the hyperbolic functions
sinh, cosh, and tanh, I would like to suggest that it also
provides the inverse functions asinh, acosh and atanh.
For the moment, I'm living with my own definitions but
it would be
On 06/26/2012 08:04 AM, Jens Axel Søgaard wrote:
Just in case: They are available in the Science Collection:
They are - Doug's done good work. I'd convert those to TR, check TR's
optimizations, and harden them if they need it (especially near 0.0 and
+/-inf.0). Also, I have a few not in
With these two votes, it's official. I'll make it one of my vacation
projects.
Neil ⊥
On 06/26/2012 03:00 PM, Doug Williams wrote:
Doug is for any of it. I'd love to get some student projects that move
the science collection to TR.
On Tue, Jun 26, 2012 at 1:42 PM, Matthias Felleisen
Ten minutes in, I've hit a snag. I'd like the stuff in math/functions to
have precise types. For example, log1p could have the type
(case- (Zero - Zero)
(Float - Float)
(Real - Real))
It was easy to get the implementation to typecheck, but when I tried to
plot it in
I'm addicted to optimizations. If I use Real - Real, TR can't prove
that (log1p 1.0) is Float and... hmm. I'll let Vincent explain why
that's bad. :)
Another option is to provide both log1p and fllog1p. I just wrote
fllog1p anyway.
Neil ⊥
On 06/26/2012 07:05 PM, Matthias Felleisen wrote:
I haven't got a clue what you two are arguing about anymore. If you both
stop, maybe Sam can implement that perfectly safe change to the typed -
untyped contract barrier that he said he could do. That would be nice.
;)
Neil ⊥
On 06/26/2012 09:23 PM, Robby Findler wrote:
On Tue, Jun 26, 2012
Yay!
On 06/29/2012 02:28 PM, stamo...@racket-lang.org wrote:
stamourv has updated `master' from 9e97ea4cae to 1d43b5a0db.
http://git.racket-lang.org/plt/9e97ea4cae..1d43b5a0db
=[ One Commit ]=
Directory summary:
100.0%
I've noticed something interesting about the `log' function. Check out
this interaction:
(real-double-flonum #e1e400)
+inf.0
(log #e1e400)
921.0340371976183
It's obviously not just converting to flonum first; it's likely doing
some kind of argument reduction internally.
`sqrt' operates on
I'm cribbing from the Boost C++ libraries [*] for much of the `math'
collection. The license is extremely liberal, requiring only that the
text of the license be included in any source distribution.
What's the protocol for this?
FWIW, the FSF says Boost libraries and works derived from it can
How about more words and examples?
Argument reduction is using function properties to reduce the
magnitude of arguments to make computation more tractable or more accurate.
I'll bet `log' uses this property:
(log (sqrt x)) = (log (expt x 1/2)) = (* 1/2 (log x))
This form is nice for
Perfectly good summary, my good man.
Anyway, I've decided to regard `log' (with huge rationals) and `sqrt'
(with perfect squares) as anomalies, because I'm finding more examples
that don't work. Here's one:
(real-double-flonum (/ #e1e400 #e1e200))
1e+200
(/ #e1e400 1e200)
+inf.0
So it
I just found this today:
#lang typed/racket
(define: b : (Boxof Any) (box 4))
(define-predicate boxof-integer? (Boxof Integer))
(define (set-b-box! v) (set-box! b v))
(: a-very-listy-integer (- Integer))
(define (a-very-listy-integer)
(cond [(boxof-integer? b) (set-b-box! '(1 2 3))
On 07/06/2012 09:11 AM, Sam Tobin-Hochstadt wrote:
On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto neil.toro...@gmail.com wrote:
Anticipating a bug fix, I've started converting my recent TR code so that it
doesn't define predicates for mutable container types. Instead of using
`define-predicate
I've got an array structure like so:
(struct: (A) strict-array ([shape : (Listof Index)]
[data : (Vectorof A)])
Say I have this value:
(strict-array '(2 2) #(1 2 3 4))
I want it to print like this at the REPL:
#strict-array '(2 2) '[[1 2] [3 4]]
If there's
On 07/07/2012 01:39 PM, Matthias Felleisen wrote:
Neil, do you intend to provide differentiat and integrate and possibly
adjoin operations on operators from your math collection?
I've considered numerical differentiation and integration. If you want
them, I'll make sure they
#lang typed/racket
(define: x : Index 1)
(: bar ((Vectorof Index) - (Vectorof Index)))
(define (bar xs) xs)
(: foo (All (A) ((Vectorof Index) - (Vectorof Index
(define (foo xs) xs)
So we have an Index `x' and a couple of identity functions `bar' and
`foo' that only differ by the fact
1 - 100 of 319 matches
Mail list logo
