Nimrod programming language

[rumpf_a at web.de]

> One question I ask myself upon seeing a new language is if it is possible
> to program amb (amb=ambiguous) operator in it. This page gives a very
> nice, "code first" explanation of amb and how it is supposed to work:
>
> http://www.randomhacks.net/articles/2005/10/11/amb-operator
>
Hm. I am not sure either. To me, it looks like a constraint solver by
using brute force. It seems to require continuations. AFAIK
continuations are extremely hard to implement efficiently, so probably
it won't be done in Nimrod.