🚀 go-pugleaf

Actually, defining the semantics of such things is easy.
A friend of mine did it in a language design where {} created first-class
procedures.  I.e. you didn't call

while(cond) {
	body...
}

you called

while ({cond}, {
	body
})

and while was defined as (in a C-like syntax, where "int foo()" means a
*procedure* not a pointer to one):

void while(bool test(), void body())
{
	if (test()) {
		body();
		while(test, body);
	}
}

which, was, of course, really written more like

void while (bool test(), void body)) =
{
	ifthen(test, {body; while(test, body)})
}

There was, of course, syntactic sugar to make this more usable, but
while and relatives were in fact not part of the language, merely part
of the standard library.
-- 
	-Colin (uunet!microsof!w-colinp)