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))
It's probably good to compare this to the suggestions in this threads
for the arrow-less version:
3. (test (and (even? E1) #t) => #t
(and (> E2 50) #t) => #t)
IMO, (2) gains much readability over (1), and (3) loses most of that.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
