wrote:
Tell 12 year old middle school students.
On Mar 31, 2013, at 9:15 PM, Sam Tobin-Hochstadt wrote:
I said this to you in person, but I continue to think that 2htdp should just
do away with the concept of teachpacks, and just use the require form
always. Even today, it could insert
should become something almost hidden
but we are not there yet.
-- Matthias
p.s. And yes, it would be nice if the window had a title such as add
teachpacks
On Mar 23, 2013, at 5:49 PM, Sam Tobin-Hochstadt wrote:
Opening up the Add Teachpack dialog presents the user with two lists
My expectation when using typed/racket/no-check is that I won't get
any type errors. While `define-predicate` can't work in that sense,
we could just make `cast` always succeed, which I think would be
helpful.
I only use no-check to take a file that won't typecheck due to some
problem I hope to
Opening up the Add Teachpack dialog presents the user with two lists
of libraries, which overlap in exactly one case: image.ss. This
makes it very easy for the user to choose the old image.ss library
when working with HtDP2e. Further, there's no indication in DrRacket
as to which one of these was
On Fri, Feb 22, 2013 at 4:40 PM, ro...@racket-lang.org wrote:
+ The list of colors is obtained by drawing the image on a white
+ background and then reading off the colors of the pixels that were drawn.
Is there a particular reason to choose white, as opposed to clear, for
the background in
), and an alpha and produces a color (rgb). So you
always start with some solid color in the background and draw the shape on
top of it, resulting in another color that some other shape can be drawn on
top of.
On Fri, Feb 22, 2013 at 3:45 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Fri
On Fri, Feb 15, 2013 at 3:36 PM, David Van Horn dvanh...@ccs.neu.edu wrote:
On 2/15/13 3:34 PM, Matthew Flatt wrote:
#lang scribble/base
@(define (fig name)
(collection-file-path name book figures))
@image[#:suffixes '(.png .pdf) (fig quick-lists1)]
Excellent! Thank you, this
I'm happy to share work with Danny, but I continue to have both plans
and a bunch of code written for moving the bug system forward.
Sam
On Tue, Feb 12, 2013 at 5:40 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Thanks, done.
Could you take over as bug czar? -- Matthias
On Feb 12,
On Mon, Feb 4, 2013 at 1:51 PM, Danny Yoo d...@hashcollision.org wrote:
I've put this in my branch 'pr13471':
https://github.com/dyoo/racket/tree/pr13471
After someone takes a look and says ok, I can push the fix upstream.
It looks ok to me.
Ok, good. Pushed. I don't think I have
It emphasizes that Racket is broadly applicable, and works both in an
IDE environment, and in a text editor/shell environment, each of which
is preferred by large groups of developers.
Sam
On Thu, Jan 31, 2013 at 2:38 PM, Danny Yoo d...@hashcollision.org wrote:
Is there a pedagogic reason why
On Mon, Jan 28, 2013 at 8:18 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Sat, 29 Dec 2012 14:05:08 +0300, Michael Filonenko wrote:
I have prepared a new version of the patch (attached).
Thanks!
A question on the design here: why not make extflonums part of the
numeric tower?
Also, when
Findler ro...@eecs.northwestern.edu
wrote:
On Tue, Jan 29, 2013 at 4:20 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
This is probably a silly question, but don't you also need some way to
check if two sets have been unioned? Does your application not need
that?
You check to see
)
No?
On Tue, Jan 29, 2013 at 6:51 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
But wouldn't that equate two un-unioned invocations of (uf-new 1)?
On Tue, Jan 29, 2013 at 7:47 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
But I should probably provide that, since it can be done
Currently, the nightly builds are broken, I think because of a
distribution error. It appears that the problem is that
`mrlib/image-core` now depends on slideshow. Looking at the code, I
think it would work to just move `mrlib/image-core` and a couple
dependencies to the `plt-extras`
It is indeed similar to the 'any' contract. The plans are basically what
you see in this push -- representing cases where either some function can
produce arbitrarily many values, as with some parameters, or where it
doesn't matter how many values an expression produces, as in intermediate
On Fri, Jan 18, 2013 at 2:34 PM, Danny Yoo d...@cs.wpi.edu wrote:
But pnr.racket-lang.org is being flagged as unsafe in Google Chrome
and Firefox (and probably the other browsers too). What needs to be
done to correct this? The exact error is:
I'm working on purchasing an SSL certificate
On Fri, Jan 18, 2013 at 8:41 AM, Jay McCarthy jay.mccar...@gmail.com wrote:
list your packages on the new index
[https://pnr.racket-lang.org/]
Would anyone object to renaming this to `packages.racket-lang.org`?
Sam
_
Racket Developers list:
In the first-year course that David and I are teaching, we use custom
languages specified with #lang, multiple files, DrRacket, and images
embedded in .rkt files. Unfortunately, these features, which are all
great on their own, don't play nicely together. As a result, I ended
up writing this
On Wed, Jan 16, 2013 at 10:55 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
The former.
Ok, great. Happily back to using DrRacket. :)
And maybe there is a problem with drracket sharing too much with the user
program too.
Robby
On Wednesday, January 16, 2013, Sam Tobin-Hochstadt
I'm trying to use logging to time various portions of Typed Racket
compilation, and I'm running into trouble. In particular, when I do
something like this:
(managed-compile-zo
collects/tests/typed-racket/succeed/null-program.rkt)
with Typed Racket instrumented to do logging on a logger
On Tue, Jan 8, 2013 at 8:58 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 8 Jan 2013 08:51:03 -0500, Sam Tobin-Hochstadt wrote:
On Tue, Jan 8, 2013 at 12:20 AM, Ryan Culpepper ry...@ccs.neu.edu wrote:
Please tell me if you think that this release is significant enough
that it should
On Jan 8, 2013 9:38 AM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Matthias Felleisen wrote:
I know it is probably too late for that but can we release this one
as 5.3.2 w/o the package system and do so quickly?
+1, FWIW.
(I didn't have an opinion until Sam's post
On Sat, Jan 5, 2013 at 9:58 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Maybe the default for a build `configure'd without `--prefix' (or, more
generally, for a non-Unix-style build) should be installation-wide
package installs, while the default for our pre-built distributions
should be
On Sat, Jan 5, 2013 at 6:55 PM, Neil Toronto neil.toro...@gmail.com wrote:
What if RAList could be exported as a polymorphic, opaque type?
It seems the contract system could then exploit the fact that an RAList is
always well-typed. What would it take? Tagging structs? A special chaperone?
On Sun, Jan 6, 2013 at 2:55 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
What if you added an extra field to immutable values (ie all TR structs
would have this hidden field) such that, when they passed across a boundary,
the field got mutated to say what type it passed at. Then, when
have any information about the types used at all.
Sam
Robby
On Sun, Jan 6, 2013 at 2:03 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Sun, Jan 6, 2013 at 2:55 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
What if you added an extra field to immutable values (ie all TR
...@eecs.northwestern.edu wrote:
Oh-- I think you're right that the type parameter can matter (it could go
over to R as an Integer list and come back as a Boolean list or something).
Robby
On Sun, Jan 6, 2013 at 4:08 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
Sorry, that was very
On Mon, Dec 31, 2012 at 3:27 PM, Neil Toronto neil.toro...@gmail.com wrote:
1. Allow submodules to extend the reader.
This seems hard, because module forms are expanded after they've been read.
One possibility is a #module reader macro. Seems like overkill.
This, at least, has an easy
On Mon, Dec 31, 2012 at 4:56 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote:
In general, we need a better story for scaling up programming with
intersection types.
I agree with this.
There are two more general solutions to the first problem, that
single-arity `case-' types sometimes make
On Mon, Dec 17, 2012 at 9:34 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Okay. I propose we figure out how to allow people programming in Typed Racket,
and deploy two copies of the code without performance overhead for either T
or U
code.
I don't see how we can do this without
On Mon, Dec 17, 2012 at 12:59 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 12/16/2012 06:41 PM, Eli Barzilay wrote:
10 minutes ago, Neil Toronto wrote:
I think I'd rather have a convention in Typed Racket that (require foo)
imports `foo/typed' when it exists.
+14. I think it came
On Mon, Dec 17, 2012 at 3:27 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I've long thought something along these lines is a good idea, but perhaps
what I think is a good idea isn't what Matthias and Sam think is the bad
idea.
I think that it makes sense for 'require' in typed-racket
] *exactly* the same file as in R, so I think Sam's comments are
off base.
Robby
On Mon, Dec 17, 2012 at 2:51 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Mon, Dec 17, 2012 at 3:27 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I've long thought something along these lines
On Wed, Dec 12, 2012 at 1:44 PM, Jay McCarthy j...@cs.byu.edu wrote:
On Tue, Dec 11, 2012 at 1:01 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
The Typed Racket optimizer tests continue to fail on an intermittent
basis in DrDr, as shown below. I'd really like to fix this,
especially
The Typed Racket optimizer tests continue to fail on an intermittent
basis in DrDr, as shown below. I'd really like to fix this,
especially since we're doing very well for zero failures on DrDr, but
I don't know what's going wrong.
The error is:
force: promise's thread terminated without result
On Mon, Dec 10, 2012 at 7:07 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Using and and or as higher-order functions, say for (fold (combine f and) #t
l) has performance implications. It is quite different from (andmap f l).
In one sense, this is obviously true, since `andmap` is
On Mon, Dec 10, 2012 at 11:05 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
If you can make syntax identifier thingies like and behave as in a
short-cutting way when they are used in a context such as andmap, I have no
objections.
You would need a different list operation -- you can't
On Sat, Dec 8, 2012 at 11:54 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
On Sat, Dec 8, 2012 at 9:27 PM, Eli Barzilay e...@barzilay.org wrote:
30 minutes ago, Jay McCarthy wrote:
On Sat, Dec 8, 2012 at 8:29 PM, Eli Barzilay e...@barzilay.org wrote:
One other thing that I think is
On Dec 8, 2012 10:14 PM, Eli Barzilay e...@barzilay.org wrote:
On Wednesday, Sam Tobin-Hochstadt wrote:
Given that context, maybe the right thing here is (a) installation-
specific packages by default and (b) a way to *upgrade* an existing
installation when installing. That might
On Thu, Dec 6, 2012 at 12:44 PM, ntoro...@racket-lang.org wrote:
| Reimplemented really simple FFI functions (e.g. mpfr-prec, mpfr-exp) to
| avoid calling overhead
If you have meaningful benchmarks where this makes a difference, that
may be useful to Matthew, since he recently was working on
On Thu, Dec 6, 2012 at 2:36 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
On Thu, Dec 6, 2012 at 3:32 PM, Neil Toronto neil.toro...@gmail.com wrote:
On 12/06/2012 02:08 PM, Sam Tobin-Hochstadt wrote:
On Thu, Dec 6, 2012 at 12:44 PM, ntoro...@racket-lang.org wrote:
| Reimplemented really
I've now pushed this.
Sam
On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
That would be great!
And your commit also seems good to me.
I tried to push it to our repo but somehow I can't see to actually get
things locally into the right state so if someone
On Sun, Dec 2, 2012 at 11:11 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Sun, 2 Dec 2012 10:55:01 -0500, Sam Tobin-Hochstadt wrote:
I have mostly the opposite impression of `raco link`. I like the
default behavior, but that may be a result of my use of a set of
scripts [1] for managing
On Mon, Dec 3, 2012 at 7:54 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I agree that when something is collected is a pretty intentional
property but I think it is possible to say a little bit more since
there is a pretty stable core idea there (namely that if something
isn't
We make no commitments about compatibility for 'unstable', so keeping the
collection around shouldn't even be necessary.
Sam
On Dec 3, 2012 8:54 PM, Ryan Culpepper r...@cs.utah.edu wrote:
I updated the references in the racket git repo, and I left the
unstable/lazy-require module in place with
On Sat, Dec 1, 2012 at 10:56 AM, Jay McCarthy jay.mccar...@gmail.com wrote:
On Fri, Nov 30, 2012 at 7:09 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Version-specific installation
-
Not to speak too much on Jay's behalf, but I think he isn't convinced
that the new
On Sun, Dec 2, 2012 at 10:38 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Who here has tried using `raco link' for development?
I use `raco link` for all of my development -- once `raco link` was
released, I basically gave up on Planet1 and used `raco link` for
everything.
The default mode is
On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn dvanh...@ccs.neu.edu wrote:
On 11/29/12 7:31 AM, Carl Eastlund wrote:
Having something like the var pattern can be useful for macros that
expand into uses of match, if the macro doesn't want to expose that a
bound variable will be a match
Currently, `match` provides a pattern named `var`, which makes `(var
id)` equivalent to `id`, but without special cases for things like `_`
and `...`.
However, this frequently conflicts with structures that people define,
and is rarely used other than accidentally. I'd therefore like to
remove
On Tue, Nov 27, 2012 at 1:15 PM, Jens Axel Søgaard
jensa...@soegaard.net wrote:
There is an issue of potential confusion over names though.
In the data collection, the -count suffix normally returns the size of
the data structure.
For vectors the suffix -length is normally used.
The name
On Sun, Nov 25, 2012 at 10:50 PM, Jon Zeppieri zeppi...@gmail.com wrote:
Is there a way to give check-em a type for TR without breaking it for
non-typed code?
Yes, you should add an entry to typed-racket/base-env/base-special-env
for `check-em`. Note that you'll have to specify which module
No, only Eli can do that (or the submitter).
On Sun, Nov 18, 2012 at 1:30 AM, Neil Toronto neil.toro...@gmail.com wrote:
How do I close pull requests made to the plt/racket repo on GitHub? Am I
authorized to do that in the first place?
Neil ⊥
_
Racket Developers
On Thu, Nov 8, 2012 at 1:01 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
I have one larger design issue, which I want to write up in a separate mail.
The larger issue is that we should allow packages to have their own
versions of other packages/collections/etc, specified in their
metadata
For more detailed measurements of the cost of scribble contract checking,
our recent OOPSLA paper on chaperones includes a benchmark which renders
the reference both with and without contracts.
Sam
On Nov 9, 2012 9:03 PM, Robby Findler ro...@eecs.northwestern.edu wrote:
I think the contracts on
On Thu, Nov 8, 2012 at 1:35 PM, Eli Barzilay e...@barzilay.org wrote:
* We really need valid SSL certificates for any user-facing sites.
StartSSL gives them away for free: http://www.startssl.com/
(Last time I looked, free SSLs weren't ones that would get trusted by
default popular browsers.
On Thu, Nov 8, 2012 at 3:13 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
On Thu, Nov 8, 2012 at 11:01 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
[replying just to a few of these]
* I think we should drop the `.plt` archive format entirely.
It is the default because Racket can
On Tue, Nov 6, 2012 at 10:48 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Okay, thanks for the feedback.
I've pushed a change that mostly takes the suggestions, except no blue
and instead of the parentheticals, I've linked to the docs. (I don't
like how the links don't line up
On Mon, Nov 5, 2012 at 5:46 PM, Dan Burton danburton.em...@gmail.com wrote:
I've published a blog post about Typed Racket that I've been holding on to
for a while.
Mainly I intended it as feedback for Sam about what areas of TR I think can
be improved,
though it does provide a sort of tour
On Sat, Nov 3, 2012 at 2:57 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
There was a discussion a while back on revising the language dialog
(I've lost track of the thread since I started hacking on the dialog;
apologies).
The thread starts here:
On Mon, Nov 5, 2012 at 6:11 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Thanks for taking a look.
On Monday, November 5, 2012, Sam Tobin-Hochstadt wrote:
- Allow the presence of a #lang line to override the language dialog,
or at least give an error that's more helpful than
With my latest fix to handling of the `Any` type, the following small
program (also at https://gist.github.com/3991023) crashes drracket (I
can't provoke the bug with plain racket):
#lang racket/load
(module m typed/racket
(define: v : Any (exn (current-continuation-marks)))
(provide v))
On Oct 30, 2012 12:28 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 10/29/2012 02:41 PM, Sam Tobin-Hochstadt wrote:
This commit marks a few files that have intermittent failures as
randomly failing, and possibly-more-controversially, removes the
annotation from some genuinely random
...@racket-lang.org wrote:
9773d89 Sam Tobin-Hochstadt sa...@racket-lang.org 2012-10-29 16:34
:
| Clean up `drdr:random` props.
:
M collects/meta/props | 15 +++
-collects/tests/racket/place-chan-rand.rkt responsible (tewk) drdr:random #t
-collects/tests/compiler/zo-test.rkt
On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper r...@cs.utah.edu wrote:
samth:
- type-contract fixes/changes (9e1cf579a4, 962f2472e1)
- add #:opaque and #:struct to require/typed (9054d0db7d)
Typed Racket now handles higher-order values provided to untyped
modules under the type `Any`
that this has caused in practice
make me think that the previous implementation was wrong as well,
since some of the programs that broke shouldn't have worked.
On Oct 28, 2012, at 9:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper r
an opaque value.
On Oct 28, 2012, at 11:36 AM, Sam Tobin-Hochstadt wrote:
On Sun, Oct 28, 2012 at 11:13 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Was it wrong before? Suboptimal somehow?
It was suboptimal in that more operations should be allowed now (such
as accessing elements
, at 1:20 PM, Sam Tobin-Hochstadt wrote:
On Sun, Oct 28, 2012 at 1:16 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Can you make succinct examples of operations that would have
gone wrong with the past interpretation of Any and can you
explain how the new interpretation will do better
I've now pushed a fix for the latest example you posted, and I'm
working on running the Whalesong tests.
On Thu, Oct 25, 2012 at 1:55 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
Hi Danny,
I'm looking into your code. Can you provide some instructions for how
I can test Whalesong myself
On Thu, Oct 25, 2012 at 2:09 PM, Danny Yoo d...@hashcollision.org wrote:
On Thu, Oct 25, 2012 at 2:55 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
Hi Danny,
I'm looking into your code. Can you provide some instructions for how
I can test Whalesong myself, so that I can reduce the cycle
The browser is Firefox Nightly, and my fixes are on master now.
Sam
On Oct 26, 2012 1:15 PM, Danny Yoo d...@hashcollision.org wrote:
I ran the above, and it seemed to work well, until I got to the
conform.rkt test, when it spewed a *lot* of output like this:
Hi Danny,
I'm looking into your code. Can you provide some instructions for how
I can test Whalesong myself, so that I can reduce the cycle time on
this issue?
Thanks,
Sam
On Thu, Oct 25, 2012 at 11:43 AM, Danny Yoo d...@hashcollision.org wrote:
On Thu, Oct 25, 2012 at 12:36 PM, Danny Yoo
On Wed, Oct 24, 2012 at 4:19 PM, Danny Yoo d...@hashcollision.org wrote:
I'm hacking into Whalesong to see if I can nail this down more precisely.
Ok, I've got a better test case for you that boils down what I'm encountering.
Ok, I've looked into this, and I think it's a bug in the
Will these be in 5.3.1? Without this fix, the macro stepper is very broken.
Sam
On Oct 22, 2012 3:05 PM, ry...@racket-lang.org wrote:
ryanc has updated `master' from f60d57a27f to 1137b444ad.
http://git.racket-lang.org/plt/f60d57a27f..1137b444ad
=[ 2 Commits
On Tue, Oct 16, 2012 at 7:55 PM, Stephen Bloch bl...@adelphi.edu wrote:
Another data point: If define/match expands to a define of a procedure
that dispatches to a set of implementations based on a pattern-match of
actual arguments... then the name is exactly what I'd expect for such a
feature
On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay e...@barzilay.org wrote:
Just now, Jay McCarthy wrote:
match-define is something else
Indeed it is -- which makes the whole thing even more confusing. I
can't help imagining a newbie's reaction when they're told that
Oh, here's your mistake
On Tue, Oct 16, 2012 at 3:39 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Sam Tobin-Hochstadt wrote:
On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay e...@barzilay.org wrote:
Just now, Jay McCarthy wrote:
match-define is something else
Indeed it is -- which makes the whole
On Tue, Oct 16, 2012 at 3:54 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Sam Tobin-Hochstadt wrote:
On Tue, Oct 16, 2012 at 3:39 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Sam Tobin-Hochstadt wrote:
On Tue, Oct 16, 2012 at 3:10 PM, Eli Barzilay e
On Tue, Oct 16, 2012 at 5:02 PM, Neil Van Dyke n...@neilvandyke.org wrote:
John Clements wrote at 10/16/2012 04:51 PM:
Data point: I have no idea what define/match does, and the name by itself
does nothing to enlighten me.
Another data point: If define/match expands to a define of a
All -
RacketCon is coming up tomorrow, and I hope everyone is excited.
We're pleased to have two tutorials and a bunch of excellent talks,
and I'm happy to say that we plan to record all the talks and post the
videos on the web site at a later date.
We're also going to try a live Google Hangout
On Wed, Oct 10, 2012 at 10:19 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
I guess we should try this, but I think we should keep it specific to
bytecode loading. That is, I don't think we should try to splice a
.zip-based filesystem into Racket's core filesystem operations.
I would think that
On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Sam Tobin-Hochstadt wrote:
On Oct 5, 2012 9:16 PM, Eli Barzilay e...@barzilay.org wrote:
10 minutes ago, Robby Findler
On Sat, Oct 6, 2012 at 9:25 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Sat, Oct 6, 2012 at 8:21 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay e
The errors are delayed in exactly the way that they are for the contract
'(- none/c any/c)'. If you apply that contract to 'add1', it doesn't error
unless the resulting function is applied.
Sam
_
Racket Developers list:
http://lists.racket-lang.org/dev
]=
Directory summary:
100.0% collects/typed/
~~
b6b5043 Sam Tobin-Hochstadt sa...@racket-lang.org 2012-10-05 16:10
:
| Add typed interface for the futures visualizer.
:
A collects/typed/future-visualizer.rkt
http
On Oct 5, 2012 9:16 PM, Eli Barzilay e...@barzilay.org wrote:
10 minutes ago, Robby Findler wrote:
Oh, right. Duh.
And even better, IMO, if it were futures-visualizer/typed/* were a
place you could put this information.
Yeah -- that would make distribution much easier, since it will be
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
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
On Tue, Oct 2, 2012 at 10:26 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
The cond issue also shows up in TR. We should and will have to tackle it.
In TR, this is less of an issue, because you get a type error when you
unexpectedly fall off the end of a `cond`. So I think this is in some
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
analysis, then that would be nice, but it would be harder,
since it would require recording information for the output of
`make-struct-type`. Typed Racket has information about structures at a
higher level.
-Ian
- Original Message -
From: Sam Tobin-Hochstadt sa...@ccs.neu.edu
To: Neil
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
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
On Sat, Sep 22, 2012 at 12:20 PM, Eli Barzilay e...@barzilay.org wrote:
What I'm suggesting is that some unions (e.g. `Natural') be opaque
even to the introspection tool. Since there's no way to get
something to typecheck as `Positive-Integer-Not-Fixnum' (the
typechecker will never give that
On Tue, Sep 4, 2012 at 10:57 AM, Pierpaolo Bernardi olopie...@gmail.com wrote:
What is annoying is that char-numeric? and string-number are not compatible.
`char-numeric?` and `string-number` would not be compatible in the
sense you're thinking of, even with the change you mention.
For
[redirected to dev@]
On Sat, Sep 1, 2012 at 6:00 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Fri, 31 Aug 2012 17:58:07 -0600, Matthew Flatt wrote:
At Fri, 31 Aug 2012 15:50:46 +0200, herak...@gmx.de wrote:
I have an ocx-control and I would like to use it from Racket.
Is it possible to
On Wed, Aug 29, 2012 at 11:23 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Wed, Aug 29, 2012 at 11:17 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote:
On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt mfl...@cs.utah.edu wrote
Thanks for figuring this out!
It looks like Patch 3 or readline 6.2 fixes this bug:
http://lists.gnu.org/archive/html/bug-readline/2012-07/msg2.html
but I don't know how to detect that, or whether any systems are
shipping it.
Sam
On Tue, Aug 28, 2012 at 11:39 PM, ry...@racket-lang.org
On Wed, Aug 29, 2012 at 11:17 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote:
On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote:
Since I've made
Since I've made the Typed Racket tests run in parallel, there have
been intermittent errors in DrDr, like this:
http://drdr.racket-lang.org/25278/collects/tests/typed-racket/run.rkt
I'm not sure exactly what could be causing this -- I don't think
promises should ever fail to `force`. Might
On Tue, Aug 14, 2012 at 11:52 PM, Neil Toronto neil.toro...@gmail.com wrote:
Some typed for loops would have to be reimplemented, unless inference
improves a lot. To make this easier, I've attached an example implementation
of `for/vector:' and `for*/vector:'. It allows both body and result
301 - 400 of 697 matches
Mail list logo