On Wed, Mar 24, 2010 at 1:11 PM, Michal Suchanek <[email protected]> wrote:
>
> I would say that foreach cycle and while cycle are fundamentally
> different and while you can make them use the same keyword and similar
> syntax it does not change that.

I agree. I made an unfortunate choice of subject line. The cases I'm
actually concerned about here are the "while" and "do" loop cases. The
"do" loop is easier.

> The while cycle is in its nature imperative, would probably need an
> infinite if-else branching to represent in a pure way in the general
> case and the very simple while(1) is in itself infinite.

I'm not convinced of this. It is certainly possible to encode while
loops using the LISP-style loop construct, which relies on tail-call
to remove the requirement for imperative termination expressions.

But the *price* of the LOOP mechanism is its syntactic complexity. It
would be pleasant to find something cleaner than that.


shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to