[racket-dev] Purpose of typed/racket/no-check

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Apr 1 13:03:26 EDT 2013

An hour and a half ago, David Van Horn wrote:
> On 4/1/13 11:16 AM, Robby Findler wrote:
> > You could change the ellipsis to Integer. :)

The time that I'd spend explaining why I wrote `Integer' makes the
comment route more appealing...

> Or no-check could bind ellipsis to some type.  This would be useful
> for sketching types out in no-check and then refining them to actual
> types in TR.

Well, I used "..." in the natural sense of "some stuff".  Having it
bound to some type sounds cute, but definitely too much work than it's
worth.  (At least IMO.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.