Scratch the note for Typed Racket users, except for the "it shouldn't
take long" part. Vincent just fixed optional arguments in Typed Racket.
Making plots in Typed Racket is now exactly the same as in untyped
Racket, except you require a different module and annotate the plotted
functions. Very nice, V.
Neil ⊥
On 12/17/2012 12:14 PM, Neil Toronto wrote:
Working from Ray Racine's initial Typed Racket interface to `plot', I've
added the module `plot/typed'. It should be in the next nightly build,
if something I did earlier for it doesn't continue to break the build.
It shouldn't. :D
Example use:
#lang typed/racket
(require math plot/typed)
(plot3d (contour-intervals3d
(λ: ([x : Real] [y : Real])
(/ (gamma x) (gamma y)))
0.25 2 0.25 2)
#:angle 250
#:out-file "gamma-ratio.pdf")
Every documented `plot' and `plot/utils' export is now typed, and they
pass the new `plot/typed' tests. There are probably small errors remaining.
Two things to note:
* For Typed Racket users: non-keyword optional arguments are currently
required. We're waiting on a fix in TR for this. It shouldn't take
long. In the meantime, including all non-keyword arguments doesn't
seem to be a serious imposition, because they're usually required to
get sensible plot bounds. (For multiple plots, use `#f'.)
* For all plot users: functions that used to accept lists and vectors
now accept arbitrary sequences and sequences of sequences. Even the
function passed to `vector-field' can return a sequence.
Ray: thanks a ton for doing most of it. It took me just over a day
instead of a week because of your initial work.
Neil ⊥
____________________
Racket Users list:
http://lists.racket-lang.org/users
