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

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Tue Sep 4 05:14:47 EDT 2007

Miguel Mitrofanov <miguelimo38 at yandex.ru> writes:

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

I think my point is that it requires a narrow definition of
imperative language; you don't need gotos if the other
control structures are rich enough¹, imperative or not.

[1] the proof of which is, allow first-class functions...

Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk

More information about the Haskell-Cafe mailing list