[racket] member et al.

On Thu, Nov 11, 2010 at 2:07 PM, Mark Engelberg
<mark.engelberg at gmail.com> 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
samth at ccs.neu.edu