On 2/15/11 7:02 AM, Eli Barzilay wrote:
Three hours ago, Hendrik Boom wrote:
On Mon, Feb 14, 2011 at 04:43:24PM -0600, Robby Findler wrote:
I guess I'm asking if true is bound somewhere or not.
It almost looks as if you want predicates on the right side of =>'
Yes -- the whole point of the simple arrow-less version is to make
using predicates very easy. For example, instead of some
1. (test E1 =satisfies> even?
E2 =satisfies> (lambda (x) (> x 50)))
you'd write
2. (test (even? E1)
(> E2 50))
You could allow the arrow-less form (which I like) but require it to
produce #t and only #t. This accommodates your examples while catching
things like:
(test (fact 5) 121)
David
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
