
On Sep 4, 2007, at 5:02 , Miguel Mitrofanov wrote:
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.
We're talking goto-the-concept, since "break" counts as "goto"; thus, so does MonadCont, and so does pattern match failure in a monad. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH