On Mon, 13 Jun 2005, Nicolas Neuss wrote:
> > ... while more algebraically minded people (like me, > > for example) avoid it like hell. > > And what do you use then? Always labels/named-let? More or less. (Except, for example, when working with screamer, which cannot code-walk labels. Then, the best technique available seems to directly use the fixed-point principle. But screamer is not really a beautiful solution for non-deterministic problems anyway.) But sometimes, a "loop" just is not the right abstraction for what you want to do. In such cases, it is best to take a deep breath, think again what the actual idea which you want to catch is, and use metalinguistic abstraction to catch just that. -- regards, [EMAIL PROTECTED] (o_ Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\ (lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_ (if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU)
