On Thu, Nov 11, 2010 at 2:07 PM, Mark Engelberg <[email protected]> wrote:
> Is Typed Racket able to observe that if the arguments to and/or are > all Booleans, then the result will definitely be a Boolean? If so, > then and/or's flexible behavior in no way diminishes the value of > having "true predicates" available to use when you want to express > that clear intent. Yes. > (and (= (random 10) 0) (even? (random 20))) - : Boolean -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
