[racket] member et al.

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Thu Nov 11 14:18:05 EST 2010

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


Posted on the users mailing list.