[Haskell-cafe] Re: [Off topic] Proving an impossibility

[Miguel Mitrofanov]

> It depends on arbitrary restrictions on what constitutes an
> (boolean) expression, something that is anathema to
> functional programmers :-) Spot the language:
> while if E 
>       then S; F
>       else False
>       fi
> do T
> od
> > It reminds me of a paper by Knuth, where he states that
> > "goto" statement is necessary; don't remember the title,
> > however.
> I don't remember needing a goto in Haskell...

Well, for imperative languages, of course.