Sorry, there was a typo in the description. It should be z=. y while. proposition z do. z=. f z end. For example:
f=: 1 + 3 * ] proposition=: 1e5&> foo=: 3 : 0 z=. y while. proposition z do. z=. f z end. ) f^:proposition^:(_) 3 206671 foo 3 206671 ----- Original Message ----- From: Geoff Canyon <[EMAIL PROTECTED]> Date: Wednesday, March 21, 2007 7:29 am Subject: Re: [Jprogramming] monad vs. dyad > > On Mar 20, 2007, at 3:08 AM, Roger Hui wrote: > > > 3. Yes, for example: > >> : ^: (1 < [: [EMAIL PROTECTED] [: /:~@":"0 (>:i.6) * ]) ^: _ ] 1 > > 142857 > > > > f^:proposition^:_ y is a common construct, meaning > > z=. y > > while. proposition y do. z=. f z end. > > The above gives a syntax error and I'm not finding any > documentation > on this construct. Do you mean something like this: > > (1&+)^:(z<y)^:_ 3 > > It just displays itself, so that can't be right, but it's my best > limited understanding. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
