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

Miguel Mitrofanov miguelimo38 at yandex.ru
Tue Sep 4 05:02:51 EDT 2007

> 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.

More information about the Haskell-Cafe mailing list