In Haskell (and other languages I'm sure) one can express the idea of "such 
that" to denote one expression depending on another. In Haskell we can use the 
syntax:

[ f x | x <- xs ]

which means 
 "the list of all f x 
such that x is drawn from xs."

So | is syntactically similar to the English "such that". (and very much like | 
in mathematical sets)

I would like to know if J has a construct to express the above Haskell code.

Thanks,
Jon.
                                          
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to