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. Tony _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev