[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.