There is some joke and/or observation to be made here. If only I could rally all my memes. And/or if I couldn't. I can't decide which: Please accept this entire paragraph as #t.
On Thu, Nov 11, 2010 at 2:18 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Thu, Nov 11, 2010 at 2:07 PM, Mark Engelberg > <mark.engelb...@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 > sa...@ccs.neu.edu > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
