[racket-dev] Search by example (was Re: Roogle?)

From: Tony Garnock-Jones (tonyg at ccs.neu.edu)
Date: Sat Aug 6 16:59:49 EDT 2011

On 2011-08-06 4:41 PM, Robby Findler wrote:
> But I think in Racket we have better ways of avoiding such danger
> (namely using the sandbox library or the pieces it builds upon). In
> general, in fact, you'd have to do that anyways, since a contract can
> be some arbitrary predicate (and don't forget do-dads like #:pre and
> friends).

OK - so rather than using the contracts as a kind of executable
documentation, just go ahead and try out each possibility in the
sandbox? Not a bad approach.


Posted on the dev mailing list.